diff options
| author | Warrick Lo <wlo@warricklo.net> | 2026-06-20 20:39:51 +0000 |
|---|---|---|
| committer | Warrick Lo <wlo@warricklo.net> | 2026-06-20 20:39:51 +0000 |
| commit | d6f2d1744a0e693b14846867a1f1b03d4b853396 (patch) | |
| tree | bf73f64d249190c21f3c35f66149a54e91618b07 /dv/formal/regfile/regfile.sby | |
| parent | Merge branch 'crajaman/top-level-rtl' (diff) | |
| parent | Minor refactor to regfile formal test module (diff) | |
| download | montreal-d6f2d1744a0e693b14846867a1f1b03d4b853396.tar.xz montreal-d6f2d1744a0e693b14846867a1f1b03d4b853396.zip | |
Merge branch 'feature/core'
* feature/core:
Minor refactor to regfile formal test module
Add formal verification for regfile
Move typedefs to types.svh from montreal_pkg
Move design parameters to config_pkg
regfile: refactor: 'chunks' are now 'slices'
See-also: #13
See-also: #14
Reviewed-by: Warrick Lo <wlo@warricklo.net>
Diffstat (limited to 'dv/formal/regfile/regfile.sby')
0 files changed, 0 insertions, 0 deletions