diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-30 14:37:21 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-30 14:37:21 +0200 |
| commit | 12c218c1b3c4d13b404b1630b9977bade4a0ac52 (patch) | |
| tree | 3e6a247a9a83c018ca6b82c69409d4729ce79215 /Makefile | |
| parent | 8710809978644f66e4db963afb5e384631d8ae96 (diff) | |
| download | picorv32-12c218c1b3c4d13b404b1630b9977bade4a0ac52.tar.gz picorv32-12c218c1b3c4d13b404b1630b9977bade4a0ac52.zip | |
Using new yosys write_smt2 cmdline
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ check-yices: check.smt2 check.smt2: picorv32.v yosys -v2 -p 'read_verilog -formal picorv32.v' \ -p 'prep -top picorv32 -nordff' \ - -p 'write_smt2 -bv -mem -wires check.smt2' + -p 'write_smt2 -wires check.smt2' test_sp: testbench_sp.vvp firmware/firmware.hex vvp -N testbench_sp.vvp |