diff options
Diffstat (limited to 'scripts/smt2-bmc/sync.ys')
| -rw-r--r-- | scripts/smt2-bmc/sync.ys | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/scripts/smt2-bmc/sync.ys b/scripts/smt2-bmc/sync.ys deleted file mode 100644 index ea190b7..0000000 --- a/scripts/smt2-bmc/sync.ys +++ /dev/null @@ -1,28 +0,0 @@ -read_verilog main.v -read_verilog ../../picorv32.v -rename main main_a -hierarchy -top main_a -proc -opt -memory -nordff -nomap -flatten -opt -write_smt2 -bv -mem -regs sync_a.smt2 -design -reset - -read_verilog main.v -read_verilog ../../picorv32.v -rename main main_b -chparam -set ENABLE_COUNTERS 1 \ - -set CATCH_MISALIGN 0 \ - -set CATCH_ILLINSN 0 \ - -set ENABLE_MUL 1 \ - -set ENABLE_IRQ 0 main_b -hierarchy -top main_b -proc -opt -memory -nordff -nomap -flatten -opt -write_smt2 -bv -mem -regs sync_b.smt2 -design -reset |