From f227332a9890f44ec9db5c60578f4d38d6ec2d80 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 15 Aug 2015 11:28:35 +0200 Subject: Added scripts/smt2-bmc/sync.* --- scripts/smt2-bmc/sync.ys | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 scripts/smt2-bmc/sync.ys (limited to 'scripts/smt2-bmc/sync.ys') diff --git a/scripts/smt2-bmc/sync.ys b/scripts/smt2-bmc/sync.ys new file mode 100644 index 0000000..ea190b7 --- /dev/null +++ b/scripts/smt2-bmc/sync.ys @@ -0,0 +1,28 @@ +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 -- cgit