9 lines
86 B
Makefile
9 lines
86 B
Makefile
|
DOTF=tb.f
|
||
|
|
TOP=tb
|
||
|
|
YOSYS_SMT_SOLVER=z3
|
||
|
|
DEPTH=25
|
||
|
|
|
||
|
|
all: bmc
|
||
|
|
|
||
|
|
include $(SCRIPTS)/formal.mk
|