colin
/
picorv32
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed "make check" for new yosys-smtbmc cmdline

This commit is contained in:
Clifford Wolf 2016-08-20 19:18:49 +02:00
parent 3e4fe5811c
commit bec8d6a6b9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Makefile
View File

@ -20,8 +20,8 @@ view: testbench.vcd
gtkwave $< testbench.gtkw gtkwave $< testbench.gtkw
check: check.smt2 check: check.smt2
yosys-smtbmc -t 30 -c check.vcd check.smt2 yosys-smtbmc -t 30 --dump-vcd check.vcd check.smt2
yosys-smtbmc -t 30 -c check.vcd -i check.smt2 yosys-smtbmc -t 30 --dump-vcd check.vcd -i check.smt2
check.smt2: picorv32.v check.smt2: picorv32.v
yosys -v2 -p 'read_verilog -formal picorv32.v' \ yosys -v2 -p 'read_verilog -formal picorv32.v' \