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 /rtl/types.svh | |
| 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 'rtl/types.svh')
| -rw-r--r-- | rtl/types.svh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/rtl/types.svh b/rtl/types.svh new file mode 100644 index 0000000..ca8a675 --- /dev/null +++ b/rtl/types.svh @@ -0,0 +1,9 @@ +`ifndef TYPES_SVH +`define TYPES_SVH + +typedef logic [config_pkg::XLEN-1:0] word_t; +typedef logic [2 ** config_pkg::REG_ADDR_WIDTH - 1:0][config_pkg::XLEN-1:0] word_bank_t; + +typedef logic [config_pkg::SLICE_WIDTH-1:0] slice_t; + +`endif /* TYPES_SVH */ |