From d330c1406bea318011e70692f3a92826c0046ab5 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 27 Dec 2021 10:52:12 +0100 Subject: fix for check target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9e3d2f0..d7027e3 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit