6 lines
74 B
Makefile
6 lines
74 B
Makefile
|
DOTF=tb.f
|
||
|
|
TOP=tb
|
||
|
|
YOSYS_SMT_SOLVER=boolector
|
||
|
|
|
||
|
|
include $(SCRIPTS)/formal.mk
|