diff --git a/scripts/smtbmc/tracecmp2.v b/scripts/smtbmc/tracecmp2.v index 7adba3c..42f39a9 100644 --- a/scripts/smtbmc/tracecmp2.v +++ b/scripts/smtbmc/tracecmp2.v @@ -174,8 +174,8 @@ module testbench( .ENABLE_REGS_DUALPORT(1), .TWO_STAGE_SHIFT(1), .BARREL_SHIFTER(0), - .TWO_CYCLE_COMPARE(1), - .TWO_CYCLE_ALU(1), + .TWO_CYCLE_COMPARE(0), + .TWO_CYCLE_ALU(0), .COMPRESSED_ISA(1), .ENABLE_MUL(0), .ENABLE_DIV(0)