diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2021-12-27 10:52:12 +0100 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2021-12-27 10:52:12 +0100 |
commit | d330c1406bea318011e70692f3a92826c0046ab5 (patch) | |
tree | 79f01500f634a927a5bebb8a15a27aaacdfcd966 | |
parent | b08952b896c80b7742f2ac2030808aec6dba0999 (diff) | |
download | picorv32-d330c1406bea318011e70692f3a92826c0046ab5.tar.gz picorv32-d330c1406bea318011e70692f3a92826c0046ab5.zip |
fix for check target
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -93,7 +93,7 @@ check-%: check.smt2 check.smt2: picorv32.v yosys -v2 -p 'read_verilog -formal picorv32.v' \ -p 'prep -top picorv32 -nordff' \ - -p 'assertpmux -noinit; opt -fast' \ + -p 'assertpmux -noinit; opt -fast; dffunmap' \ -p 'write_smt2 -wires check.smt2' synth.v: picorv32.v scripts/yosys/synth_sim.ys |