colin
/
Hazard3
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Hazard3/test/formal/instruction_fetch_match
History
Luke Wren 9c56e669cd Standardise on a single ISA variant for default test builds, and align this with the lightweight toolchain config in the Readme 
(Automated test builds for multiple ISA variants still yet to be implemented)
 		2024-08-07 13:34:36 -07:00
..
.gitignore Add instruction fetch match check 2021-05-30 11:22:36 +01:00
Makefile Do not rely on environment variables for any intra-project paths 2024-05-27 16:53:06 +01:00
disasm.py Standardise on a single ISA variant for default test builds, and align this with the lightweight toolchain config in the Readme 2024-08-07 13:34:36 -07:00
hazard3_formal_regression.vh Reduce ROM size in instruction_fetch_match: depth is more useful 2022-06-26 19:59:44 +01:00
tb.f Add instruction fetch match check 2021-05-30 11:22:36 +01:00
tb.gtkw Reduce ROM size in instruction_fetch_match: depth is more useful 2022-06-26 19:59:44 +01:00
tb.v Fix up new asserts in hazard3_power_ctrl. Add power signals to formal TBs. 2022-08-29 19:20:09 +01:00