diff options
Diffstat (limited to 'scripts/smt2-bmc/async.ys')
-rw-r--r-- | scripts/smt2-bmc/async.ys | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/smt2-bmc/async.ys b/scripts/smt2-bmc/async.ys index 1f7c8f8..627d717 100644 --- a/scripts/smt2-bmc/async.ys +++ b/scripts/smt2-bmc/async.ys @@ -1,4 +1,4 @@ -read_verilog async.v +read_verilog main.v read_verilog ../../picorv32.v rename main main_a chparam -set ENABLE_REGS_DUALPORT 0 \ @@ -14,7 +14,7 @@ opt write_smt2 -bv -mem -regs async_a.smt2 design -reset -read_verilog async.v +read_verilog main.v read_verilog ../../picorv32.v rename main main_b chparam -set ENABLE_REGS_DUALPORT 1 \ |