From 702ce0eb7934525739c3b7eeaedb2b41d86e4000 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 13 Sep 2016 18:36:56 +0200 Subject: [PATCH] tracecmp2 found a bug in this config --- scripts/smtbmc/tracecmp2.v | 10 +++++----- 1 file 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 (