diff options
Diffstat (limited to 'scripts/smt2-bmc/mem_equiv.v')
-rw-r--r-- | scripts/smt2-bmc/mem_equiv.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/smt2-bmc/mem_equiv.v b/scripts/smt2-bmc/mem_equiv.v index 6aba8f1..1904e06 100644 --- a/scripts/smt2-bmc/mem_equiv.v +++ b/scripts/smt2-bmc/mem_equiv.v @@ -15,6 +15,7 @@ module main (input clk, resetn, domem, output trap); (* keep *) wire [31:0] mem_rdata; picorv32 #( + .ENABLE_COUNTERS ( 0), .ENABLE_REGS_DUALPORT(ENABLE_REGS_DUALPORT), .TWO_STAGE_SHIFT (TWO_STAGE_SHIFT ), .TWO_CYCLE_COMPARE (TWO_CYCLE_COMPARE ), |