diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-09-13 18:36:56 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-09-13 18:36:56 +0200 |
commit | 702ce0eb7934525739c3b7eeaedb2b41d86e4000 (patch) | |
tree | 70929f9663a1f3a24cb4250ecf566a659ca70d72 /scripts | |
parent | 096224273c7778371f9964a8ebaf30182add6518 (diff) | |
download | picorv32-702ce0eb7934525739c3b7eeaedb2b41d86e4000.tar.gz picorv32-702ce0eb7934525739c3b7eeaedb2b41d86e4000.zip |
tracecmp2 found a bug in this config
Diffstat (limited to 'scripts')
-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 ( |