Hazard3/test/formal/instruction_fetch_match/Makefile

include ../project_paths.mk

DOTF=tb.f
TOP=tb
YOSYS_SMT_SOLVER=z3
DEFINES=HAZARD3_FORMAL_REGRESSION

include $(SCRIPTS)/formal.mk
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 23:52:54 +08:00			`include ../project_paths.mk`

Add instruction fetch match check 2021-05-30 18:22:36 +08:00			`DOTF=tb.f`
			`TOP=tb`
Add single-port bus compliance. Fix adapter not re-arbitrating following an ERROR response, causing a squashed younger load-store to remain presented to the bus. 2021-12-18 23:41:05 +08:00			`YOSYS_SMT_SOLVER=z3`
Add instruction fetch match check 2021-05-30 18:22:36 +08:00			`DEFINES=HAZARD3_FORMAL_REGRESSION`

			`include $(SCRIPTS)/formal.mk`