diff options
| author | Claire Xen <claire@clairexen.net> | 2022-01-03 16:03:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-03 16:03:13 +0100 |
| commit | f00a88c36eaab478b64ee27d8162e421049bcc66 (patch) | |
| tree | 7d604206a2deb29c9f097ff1f3b7de78f44b34a3 /Makefile | |
| parent | 1d9f5b7678c008fd4ab71d9c742a70ff2365f186 (diff) | |
| parent | e8dbd9ac6a28094b9a2c04cb79478d68b0e3eb07 (diff) | |
| download | picorv32-master.tar.gz picorv32-master.zip | |
Cleanups
Diffstat (limited to 'Makefile')
| -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 |