diff options
Diffstat (limited to 'scripts/smt2-bmc/async.ys')
| -rw-r--r-- | scripts/smt2-bmc/async.ys | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/scripts/smt2-bmc/async.ys b/scripts/smt2-bmc/async.ys deleted file mode 100644 index 627d717..0000000 --- a/scripts/smt2-bmc/async.ys +++ /dev/null @@ -1,31 +0,0 @@ -read_verilog main.v -read_verilog ../../picorv32.v -rename main main_a -chparam -set ENABLE_REGS_DUALPORT 0 \ - -set TWO_STAGE_SHIFT 0 \ - -set TWO_CYCLE_COMPARE 0 \ - -set TWO_CYCLE_ALU 0 main_a -hierarchy -top main_a -proc -opt -memory -nordff -nomap -flatten -opt -write_smt2 -bv -mem -regs async_a.smt2 -design -reset - -read_verilog main.v -read_verilog ../../picorv32.v -rename main main_b -chparam -set ENABLE_REGS_DUALPORT 1 \ - -set TWO_STAGE_SHIFT 1 \ - -set TWO_CYCLE_COMPARE 1 \ - -set TWO_CYCLE_ALU 1 main_b -hierarchy -top main_b -proc -opt -memory -nordff -nomap -flatten -opt -write_smt2 -bv -mem -regs async_b.smt2 -design -reset |