Found Errors¶
Here the collection of public benchmarks (that are used in the project) and bug fixes are presented.
- Table of contents
- Found Errors
Texas97 benchmark¶
The complete collection of our fixes is available in the patch below.
1.
src/main/verilog/texas97-benchmarks/Blackjack/dp.v: RDelaer1 -> RDealer1
src/main/verilog/texas97-benchmarks/Blackjack/dp.v: RDelaer2 -> RDealer2
2.
--- a/src/main/verilog/texas97-benchmarks/DLX/PDLX/control.v
+++ b/src/main/verilog/texas97-benchmarks/DLX/PDLX/control.v
@@ -14,7 +14,7 @@ module Control(
SESel,
Reset,
- Clk ,
+ Clk// ,
);
reg monitor_lw;
reg monitor_j;
$ND macro¶
This macro implements a Non-Deterministic choice from the sequence of values. Since this macro is not a standard one, it should be substituted by the $random system calls.
In our version of Texas97 benchmark $ND calls are substituted by concatenation operations, like here:
--- a/src/test/verilog/texas97-tests/Blackjack/dp.v
+++ b/src/test/verilog/texas97-tests/Blackjack/dp.v
@@ -93,24 +93,25 @@
Deck[13] =0;
Deck[14] =0;
Deck[15] =0;
- First6Card[0]=$ND(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
- First6Card[1]=$ND(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
- First6Card[2]=$ND(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
- First6Card[3]=$ND(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
- First6Card[4]=$ND(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
- First6Card[5]=$ND(0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+ First6Card[0]={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
+ First6Card[1]={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
+ First6Card[2]={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
+ First6Card[3]={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
+ First6Card[4]={0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
Enums¶
There are no enums in Verilog 2005, so 'typedef enum {...}' constructions were substituted by defines:
--- a/src/test/verilog/texas97-tests/PI_BUS/multi_master/bus.v
+++ b/src/test/verilog/texas97-tests/PI_BUS/multi_master/bus.v
@@ -1,6 +1,11 @@
-typedef enum{BUS_IDLE,BUS_REQ,BUS_ADDR,BUS_ADDRDATA,BUS_DATA} busst;
+//typedef enum{BUS_IDLE,BUS_REQ,BUS_ADDR,BUS_ADDRDATA,BUS_DATA} busst;
+`define BUS_IDLE 3'b000
+`define BUS_REQ 3'b001
+`define BUS_ADDR 3'b010
+`define BUS_ADDRDATA 3'b011
+`define BUS_DATA 3'b100
VCEGAR benchmark¶
Syntax errors¶
--- a/src/test/verilog/vcegar-tests/small/seq/example.v
+++ b/src/test/verilog/vcegar-tests/small/seq/example.v
@@ -1,13 +1,13 @@
-always @ (posedge clock) begin
- if (a<100)
+always @ (posedge clk) begin
+ if (a<100)
a<=b+a;
Updated by Sergey Smolov almost 5 years ago · 5 revisions