From 197b6ffe2b656532f4901fdb3cc4bd618915479e Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 14 Sep 2016 10:51:09 +0200 Subject: Just COMPRESSED_ISA is enough to trigger the bug --- scripts/smtbmc/tracecmp2.v | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts') 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) -- cgit