blob: 48c81a46383cc614409f7ab3cf84613cf54e6ef2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
demo1: demo1.smt2
yosys-smtbmc -c demo1.vcd demo1.smt2
yosys-smtbmc -i -c demo1.vcd demo1.smt2
demo1.smt2: demo1.v
yosys -p 'read_verilog -formal demo1.v; prep -top demo1; write_smt2 -wires -mem -bv demo1.smt2'
clean:
rm -f demo1.smt2
.PHONY: demo1 clean
|
