Hazard3/test/formal/bus_compliance_1port/Makefile

DOTF=tb.f
TOP=tb
YOSYS_SMT_SOLVER=z3
DEPTH=25

all: bmc

include $(SCRIPTS)/formal.mk
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			`DOTF=tb.f`
			`TOP=tb`
			`YOSYS_SMT_SOLVER=z3`
			`DEPTH=25`

			`all: bmc`

			`include $(SCRIPTS)/formal.mk`