aboutsummaryrefslogtreecommitdiff
path: root/rtl/config_pkg.sv
diff options
context:
space:
mode:
authorWarrick Lo <wlo@warricklo.net>2026-06-18 09:39:41 -0700
committerWarrick Lo <wlo@warricklo.net>2026-06-18 09:39:41 -0700
commit2455fed25341b39d505bcdad9ae2b07c6cd42a73 (patch)
treed7ca4a04499c9f29b34a89e4a346efbf9f156974 /rtl/config_pkg.sv
parentSync with 'master' (diff)
downloadmontreal-2455fed25341b39d505bcdad9ae2b07c6cd42a73.tar.xz
montreal-2455fed25341b39d505bcdad9ae2b07c6cd42a73.zip
Move typedefs to types.svh from montreal_pkg
Yosys has poor support of packaged types. We will move typedefs to header files to prepare for formal verification with sby and the Tiny Tapeout flow later on, which uses yosys. Additionally, a debug port has been exposed to help verify the internal state of the regfile registers. Signed-off-by: Warrick Lo <wlo@warricklo.net>
Diffstat (limited to '')
-rw-r--r--rtl/config_pkg.sv2
1 files changed, 1 insertions, 1 deletions
diff --git a/rtl/config_pkg.sv b/rtl/config_pkg.sv
index 0120b14..01d6c20 100644
--- a/rtl/config_pkg.sv
+++ b/rtl/config_pkg.sv
@@ -7,7 +7,7 @@ package config_pkg;
/* We use a byte-sliced datapath, inspired by the
* classic bit-sliced architecture of old CPUs. */
- localparam int unsigned SLICE_WIDTH = 8;
+ localparam int unsigned SLICE_WIDTH = 8;
/* The RV32E ISA defines 16 general-purpose registers.
* We have two read ports to allow for pipelined reads. */