colin
/
Hazard3
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Hazard3/test/formal/frontend_fetch_match/Makefile

11 lines
115 B
Makefile
Raw Blame History

include ../project_paths.mk
DOTF=tb.f
TOP=tb
YOSYS_SMT_SOLVER=z3
DEPTH=25
all: bmc
include $(SCRIPTS)/formal.mk
Reference in New Issue View Git Blame Copy Permalink