diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-10-15 15:45:19 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-10-15 15:45:19 +0200 |
commit | 8eaeebf486084216d1349fa89c18195e79ab14e0 (patch) | |
tree | fe063abe8432a3da3477c6bc7fda5f67d69b3531 /Makefile | |
parent | 07f28068f6f095b88c826a9f8e991f7651400d9e (diff) | |
download | picorv32-8eaeebf486084216d1349fa89c18195e79ab14e0.tar.gz picorv32-8eaeebf486084216d1349fa89c18195e79ab14e0.zip |
Progress in "make check"
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -15,8 +15,8 @@ view: testbench.vcd gtkwave $< testbench.gtkw check: check.smt2 - # yosys-smtbmc -m picorv32 check.smt2 - yosys-smtbmc -m picorv32 -t 10 -c check.vcd -i check.smt2 + yosys-smtbmc -t 30 -c check.vcd check.smt2 + yosys-smtbmc -t 30 -c check.vcd -i check.smt2 check.smt2: picorv32.v yosys -v2 -p 'read_verilog -formal picorv32.v' \ |