diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -20,8 +20,8 @@ view: testbench.vcd gtkwave $< testbench.gtkw check: check.smt2 - yosys-smtbmc -t 30 -c check.vcd check.smt2 - yosys-smtbmc -t 30 -c check.vcd -i check.smt2 + yosys-smtbmc -t 30 --dump-vcd check.vcd check.smt2 + yosys-smtbmc -t 30 --dump-vcd check.vcd -i check.smt2 check.smt2: picorv32.v yosys -v2 -p 'read_verilog -formal picorv32.v' \ |