colin
/
picorv32
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tracecmp2 found a bug in this config

This commit is contained in:
Clifford Wolf 2016-09-13 18:36:56 +02:00
parent 096224273c
commit 702ce0eb79
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
scripts/smtbmc/tracecmp2.v
View File

@ -143,11 +143,11 @@ module testbench(
// change this settings as you like // change this settings as you like
.ENABLE_REGS_DUALPORT(1), .ENABLE_REGS_DUALPORT(1),
.TWO_STAGE_SHIFT(1), .TWO_STAGE_SHIFT(0),
.BARREL_SHIFTER(0), .BARREL_SHIFTER(0),
.TWO_CYCLE_COMPARE(0), .TWO_CYCLE_COMPARE(0),
.TWO_CYCLE_ALU(0), .TWO_CYCLE_ALU(0),
.COMPRESSED_ISA(0), .COMPRESSED_ISA(1),
.ENABLE_MUL(0), .ENABLE_MUL(0),
.ENABLE_DIV(0) .ENABLE_DIV(0)
) cpu_0 ( ) cpu_0 (
@ -174,9 +174,9 @@ module testbench(
.ENABLE_REGS_DUALPORT(1), .ENABLE_REGS_DUALPORT(1),
.TWO_STAGE_SHIFT(1), .TWO_STAGE_SHIFT(1),
.BARREL_SHIFTER(0), .BARREL_SHIFTER(0),
.TWO_CYCLE_COMPARE(0), .TWO_CYCLE_COMPARE(1),
.TWO_CYCLE_ALU(0), .TWO_CYCLE_ALU(1),
.COMPRESSED_ISA(0), .COMPRESSED_ISA(1),
.ENABLE_MUL(0), .ENABLE_MUL(0),
.ENABLE_DIV(0) .ENABLE_DIV(0)
) cpu_1 ( ) cpu_1 (