diff options
Diffstat (limited to 'scripts/smt2-bmc/mem_equiv.ys')
-rw-r--r-- | scripts/smt2-bmc/mem_equiv.ys | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/smt2-bmc/mem_equiv.ys b/scripts/smt2-bmc/mem_equiv.ys index 8aa6ba2..67b49de 100644 --- a/scripts/smt2-bmc/mem_equiv.ys +++ b/scripts/smt2-bmc/mem_equiv.ys @@ -11,7 +11,7 @@ opt memory -nordff -nomap flatten opt -write_smt2 -bv -mem mem_equiv_a.smt2 +write_smt2 -bv -mem -regs mem_equiv_a.smt2 design -reset read_verilog mem_equiv.v @@ -27,5 +27,5 @@ opt memory -nordff -nomap flatten opt -write_smt2 -bv -mem mem_equiv_b.smt2 +write_smt2 -bv -mem -regs mem_equiv_b.smt2 design -reset |