diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-09-14 10:51:09 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-09-14 10:51:09 +0200 |
commit | 197b6ffe2b656532f4901fdb3cc4bd618915479e (patch) | |
tree | 2f4c11d727e1f5791f153bcd8f521571f98c971c /scripts | |
parent | c209c016b35a085ccc6044dead7e0b8461b239ca (diff) | |
download | picorv32-197b6ffe2b656532f4901fdb3cc4bd618915479e.tar.gz picorv32-197b6ffe2b656532f4901fdb3cc4bd618915479e.zip |
Just COMPRESSED_ISA is enough to trigger the bug
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/smtbmc/tracecmp2.v | 4 |
1 files changed, 2 insertions, 2 deletions
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) |