diff options
Diffstat (limited to 'scripts/smtbmc/tracecmp2.v')
| -rw-r--r-- | scripts/smtbmc/tracecmp2.v | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/scripts/smtbmc/tracecmp2.v b/scripts/smtbmc/tracecmp2.v index 9f3f3ce..7adba3c 100644 --- a/scripts/smtbmc/tracecmp2.v +++ b/scripts/smtbmc/tracecmp2.v @@ -143,11 +143,11 @@ module testbench( // change this settings as you like .ENABLE_REGS_DUALPORT(1), - .TWO_STAGE_SHIFT(1), + .TWO_STAGE_SHIFT(0), .BARREL_SHIFTER(0), .TWO_CYCLE_COMPARE(0), .TWO_CYCLE_ALU(0), - .COMPRESSED_ISA(0), + .COMPRESSED_ISA(1), .ENABLE_MUL(0), .ENABLE_DIV(0) ) cpu_0 ( @@ -174,9 +174,9 @@ module testbench( .ENABLE_REGS_DUALPORT(1), .TWO_STAGE_SHIFT(1), .BARREL_SHIFTER(0), - .TWO_CYCLE_COMPARE(0), - .TWO_CYCLE_ALU(0), - .COMPRESSED_ISA(0), + .TWO_CYCLE_COMPARE(1), + .TWO_CYCLE_ALU(1), + .COMPRESSED_ISA(1), .ENABLE_MUL(0), .ENABLE_DIV(0) ) cpu_1 ( |