diff options
| author | Warrick Lo <wlo@warricklo.net> | 2026-06-18 09:39:41 -0700 |
|---|---|---|
| committer | Warrick Lo <wlo@warricklo.net> | 2026-06-18 09:39:41 -0700 |
| commit | 2455fed25341b39d505bcdad9ae2b07c6cd42a73 (patch) | |
| tree | d7ca4a04499c9f29b34a89e4a346efbf9f156974 /tb/rv32e_model.py | |
| parent | Sync with 'master' (diff) | |
| download | montreal-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 '')
0 files changed, 0 insertions, 0 deletions