Hazard3/test/formal/instruction_fetch_match
Luke Wren d239de803c Do not rely on environment variables for any intra-project paths
It's no longer necessary to source `sourceme` before running any
of the project Makefiles.
2024-05-27 16:53:06 +01: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 Redesign fetch queue: 2x32 + 3x16 -> 6x16. 2022-06-12 02:44:08 +01: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