URL https://opencores.org/ocsvn/alu_with_selectable_inputs_and_outputs/alu_with_selectable_inputs_and_outputs/trunk

Subversion Repositories alu_with_selectable_inputs_and_outputs

[/] [alu_with_selectable_inputs_and_outputs/] [trunk/] [verif_env/] [checker/] [checker.v] - Blame information for rev 4

Details | Compare with Previous | View Log


/////////////////////////////////////////////////////////////////////
////                                                             ////
////      This project has been provided to you on behalf of:    ////
////                                                             ////
////            S.C. ASICArt S.R.L.                              ////
////                            www.asicart.com                  ////
////                            eli_f@asicart.com                ////
////                                                             ////
////        Author: Dragos Constantin Doncean                    ////
////        Email: doncean@asicart.com                           ////
////        Mobile: +40-740-936997                               ////
////                                                             ////
////      Downloaded from: http://www.opencores.org/             ////
////                                                             ////
/////////////////////////////////////////////////////////////////////
////                                                             ////
//// Copyright (C) 2007 Dragos Constantin Doncean                ////
////                         www.asicart.com                     ////
////                         doncean@asicart.com                 ////
////                                                             ////
//// This source file may be used and distributed without        ////
//// restriction provided that this copyright statement is not   ////
//// removed from the file and that any derivative work contains ////
//// the original copyright notice and the associated disclaimer.////
////                                                             ////
////     THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY     ////
//// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED   ////
//// TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS   ////
//// FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL THE AUTHOR      ////
//// OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,         ////
//// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES    ////
//// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE   ////
//// GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR        ////
//// BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF  ////
//// LIABILITY, WHETHER IN  CONTRACT, STRICT LIABILITY, OR TORT  ////
//// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT  ////
//// OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE         ////
//// POSSIBILITY OF SUCH DAMAGE.                                 ////
////                                                             ////
/////////////////////////////////////////////////////////////////////
 
 
//CHECKER
 
module CHECKER(c_clk, c_res,
        ic_data_0, ic_data_1, ic_data_2, ic_data_3,
        oc_data,
        oc_parity,
        ic_data_collected,
        oc_data_collected);
 
input c_clk, c_res;
input [7:0] ic_data_0, ic_data_1, ic_data_2, ic_data_3;
input [15:0] oc_data;
input oc_parity;
input [0:127] ic_data_collected, oc_data_collected;
 
integer i, j;
 
reg [15:0] checker_result;
reg checker_result_parity;
reg [3:0] checker_operator_type;
reg [2:0] checker_operator_symbol;
 
integer fh;
 
always @ (posedge c_clk or posedge c_res)
if(c_res)
begin
        i = 0;
        j = 0;
        checker_result = 16'b0;
        checker_result_parity = 1'b0;
        checker_operator_type = 4'b1111;
        checker_operator_symbol = 3'b111;
end
 
always @ (ic_data_collected[i])
if(ic_data_collected[i])
begin
                #1
                if(fh === 32'bx)
                        fh = $fopen("checker.out");
 
                $fdisplay(fh, "%0d INFO: Collected IN transaction no %0d: ic_data_0 = %b, ic_data_1 = %b, ic_data_2 = %b, ic_data_3 = %b",
                        $time, i, ic_data_0, ic_data_1, ic_data_2, ic_data_3);
 
                //calculate checker's alu result
                checker_operator_type = ic_data_0[7:4];
                checker_operator_symbol = ic_data_0[3:1];
 
                case (checker_operator_type)
                'd0: //Arithmetic
                begin
                        $fdisplay(fh, "Arithmetic operator");
                        case(checker_operator_symbol)
                        'd0: //Multiply
                        begin
                                checker_result = (ic_data_1 * ic_data_2);
                                $fdisplay(fh, "OPERATION * (Multiply): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd1: //Divide
                        begin
                                checker_result = (ic_data_1 / ic_data_2);
                                $fdisplay(fh, "OPERATION / (Divide): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd2: //Add
                        begin
                                checker_result = (ic_data_1 + ic_data_2);
                                $fdisplay(fh, "OPERATION + (Add): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd3: //Substract
                        begin
                                checker_result = (ic_data_1 - ic_data_2);
                                $fdisplay(fh, "OPERATION - (Substract): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd4: //Modulus
                        begin
                                checker_result = (ic_data_1 % ic_data_2);
                                $fdisplay(fh, "OPERATION  (Modulus): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        endcase
                end
                'd1: //Logical
                begin
                        $fdisplay(fh, "Logical operator");
                        case(checker_operator_symbol)
                        'd0: //Logical negation
                        begin
                                checker_result = (!ic_data_1);
                                $fdisplay(fh, "OPERATION ! (Logical negation): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        'd1: //Logical and
                        begin
                                checker_result = (ic_data_1 && ic_data_2);
                                $fdisplay(fh, "OPERATION && (Logical and): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd2: //Logical or
                        begin
                                checker_result = (ic_data_1 || ic_data_2);
                                $fdisplay(fh, "OPERATION || (Logical or): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        endcase
                end
                'd2: //Relational
                begin
                        $fdisplay(fh, "Relational operator");
                        case(checker_operator_symbol)
                        'd0: //Greater than
                        begin
                                checker_result = (ic_data_1 > ic_data_2);
                                $fdisplay(fh, "OPERATION > (Greater than): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd1: //Less than
                        begin
                                checker_result = (ic_data_1 < ic_data_2);
                                $fdisplay(fh, "OPERATION < (Less than): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd2: //Greater than or equal
                        begin
                                checker_result = (ic_data_1 >= ic_data_2);
                                $fdisplay(fh, "OPERATION >= (Greater than or equal): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd3: //Less than or equal
                        begin
                                checker_result = (ic_data_1 <= ic_data_2);
                                $fdisplay(fh, "OPERATION <= (Less than or equal): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        endcase
                end
                'd3: //Equality
                begin
                        $fdisplay(fh, "Equality operator");
                        case(checker_operator_symbol)
                        'd0: //Equality
                        begin
                                checker_result = (ic_data_1 == ic_data_2);
                                $fdisplay(fh, "OPERATION == (Equality): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd1: //Inequality
                        begin
                                checker_result = (ic_data_1 != ic_data_2);
                                $fdisplay(fh, "OPERATION != (Inequality): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd2: //Case equality
                        begin
                                checker_result = (ic_data_1 === ic_data_2);
                                $fdisplay(fh, "OPERATION === (Case equality): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd3: //Case inequality
                        begin
                                checker_result = (ic_data_1 !== ic_data_2);
                                $fdisplay(fh, "OPERATION !== (Case inequality): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        endcase
                end
                'd4: //Bitwise
                begin
                        $fdisplay(fh, "Bitwise operator");
                        case(checker_operator_symbol)
                        'd0: //Bitwise negation
                        begin
                                checker_result = (~ ic_data_1);
                                $fdisplay(fh, "OPERATION ~ (Bitwise negation): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        'd1: //Bitwise and
                        begin
                                checker_result = (ic_data_1 & ic_data_2);
                                $fdisplay(fh, "OPERATION & (Bitwise and): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd2: //Bitwise or
                        begin
                                checker_result = (ic_data_1 | ic_data_2);
                                $fdisplay(fh, "OPERATION | (Bitwise or): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd3: //Bitwise xor
                        begin
                                checker_result = (ic_data_1 ^ ic_data_2);
                                $fdisplay(fh, "OPERATION ^ (Bitwise xor): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd4: //Bitwise xnor (1st operator symbol)
                        begin
                                checker_result = (ic_data_1 ^~ ic_data_2);
                                $fdisplay(fh, "OPERATION ^~ (Bitwise xnor (1st operator symbol)): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd5: //Bitwise xnor (2nd operator symbol)
                        begin
                                checker_result = (ic_data_1 ~^ ic_data_2);
                                $fdisplay(fh, "OPERATION ~^ (Bitwise xnor (2nd operator symbol)): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        endcase
                end
                'd5: //Reduction
                begin
                        $fdisplay(fh, "Reduction operator");
                        case(checker_operator_symbol)
                        'd0: //Reduction and
                        begin
                                checker_result = (& ic_data_1);
                                $fdisplay(fh, "OPERATION & (Reduction and): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        'd1: //Reduction nand
                        begin
                                checker_result = (~& ic_data_1);
                                $fdisplay(fh, "OPERATION ~& (Reduction nand): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        'd2: //Reduction or
                        begin
                                checker_result = (| ic_data_1);
                                $fdisplay(fh, "OPERATION | (Reduction or): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        'd3: //Reduction nor
                        begin
                                checker_result = (~| ic_data_1);
                                $fdisplay(fh, "OPERATION ~| (Reduction nor): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        'd4: //Reduction xor
                        begin
                                checker_result = (^ ic_data_1);
                                $fdisplay(fh, "OPERATION ^ (Reduction xor): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        'd5: //Reduction xnor (1st operator symbol)
                        begin
                                checker_result = (^~ ic_data_1);
                                $fdisplay(fh, "OPERATION ^~ (Reduction xnor (1st operator symbol)): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        'd6: //Reduction xnor (2nd operator symbol)
                        begin
                                checker_result = (~^ ic_data_1);
                                $fdisplay(fh, "OPERATION ~^ (Reduction xnor (2nd operator symbol)): ic_data_1 = %b, checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        endcase
                end
                'd6: //Shift
                begin
                        $fdisplay(fh, "Shift operator");
                        case(checker_operator_symbol)
                        'd0: //Right shift
                        begin
                                checker_result = (ic_data_1 >> ic_data_2);
                                $fdisplay(fh, "OPERATION >> (Right shift): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        'd1: //Left shift
                        begin
                                checker_result = (ic_data_1 << ic_data_2);
                                $fdisplay(fh, "OPERATION << (Left shift): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        endcase
                end
                'd7: //Concatenation
                begin
                        $fdisplay(fh, "Concatenation operator");
                        case(checker_operator_symbol)
                        'd0: //Concatenation
                        begin
                                checker_result = {ic_data_1, ic_data_2};
                                $fdisplay(fh, "OPERATION {} (Concatenation): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",
                                        ic_data_1, ic_data_2, checker_result);
                        end
                        endcase
                end
                'd8: //Replication
                begin
                        $fdisplay(fh, "Replication operator");
                        case(checker_operator_symbol)
                        'd0: //Replication
                        begin
                                checker_result = { 2 {ic_data_1} };
                                $fdisplay(fh, "OPERATION { { } } (Replication): ic_data_1 = %b - replicated twice: checker_result = %b",
                                        ic_data_1, checker_result);
                        end
                        endcase
                end
                'd9: //Conditional
                begin
                        $fdisplay(fh, "Conditional operator");
                        case(checker_operator_symbol)
                        'd0: //Conditional
                        begin
                                checker_result = (ic_data_1 ? ic_data_2 : ic_data_3);
                                $fdisplay(fh, "OPERATION ?: (Conditional): ic_data_1 = %b, ic_data_2 = %b, ic_data_3=%b, checker_result = %b",
                                        ic_data_1, ic_data_2, ic_data_3, checker_result);
                        end
                        endcase
                end
                endcase
                checker_result_parity = ^checker_result; //Parity = XOR of all result's bits
                i = i + 1;
 
                //$fclose(fh);
end
 
always @ (oc_data_collected[j])
begin
        if(oc_data_collected[j])
        begin
                $fdisplay(fh, "%0d INFO: Collected OUT transaction no %0d: %b", $time, j, oc_data);
                //checker result
                if(checker_result[15:0] === oc_data[15:0])
                        $fdisplay(fh, "%0d INFO: Calculus of data for transaction no. %0d match! (%b - %b)",
                                $time, j, checker_result[15:0], oc_data[15:0]);
                else
                        $fdisplay(fh, "%0d ERROR: Calculus of data for transaction no. %0d DO NOT match! (%b - %b)",
                                $time, j, checker_result[15:0], oc_data[15:0]);
                //checker parity
                if(checker_result_parity === oc_parity)
                        $fdisplay(fh, "%0d INFO: Calculus of parity for transaction no. %0d match! (%b - %b)\n",
                                $time, j, checker_result_parity, oc_parity);
                else
                        $fdisplay(fh, "%0d ERROR: Calculus of parity for transaction no. %0d DO NOT match! (%b - %b)\n",
                                $time, j, checker_result_parity, oc_parity);
                j = j + 1;
        end
end
 
endmodule

Browse

Tools

Subversion Repositories alu_with_selectable_inputs_and_outputs

[/] [alu_with_selectable_inputs_and_outputs/] [trunk/] [verif_env/] [checker/] [checker.v] - Blame information for rev 4

Line No.	Rev	Author	Line
1	2	dragos_don	`/////////////////////////////////////////////////////////////////////`
2			`//// ////`
3			`//// This project has been provided to you on behalf of: ////`
4			`//// ////`
5			`//// S.C. ASICArt S.R.L. ////`
6			`//// www.asicart.com ////`
7			`//// eli_f@asicart.com ////`
8			`//// ////`
9			`//// Author: Dragos Constantin Doncean ////`
10			`//// Email: doncean@asicart.com ////`
11			`//// Mobile: +40-740-936997 ////`
12			`//// ////`
13			`//// Downloaded from: http://www.opencores.org/ ////`
14			`//// ////`
15			`/////////////////////////////////////////////////////////////////////`
16			`//// ////`
17			`//// Copyright (C) 2007 Dragos Constantin Doncean ////`
18			`//// www.asicart.com ////`
19			`//// doncean@asicart.com ////`
20			`//// ////`
21			`//// This source file may be used and distributed without ////`
22			`//// restriction provided that this copyright statement is not ////`
23			`//// removed from the file and that any derivative work contains ////`
24			`//// the original copyright notice and the associated disclaimer.////`
25			`//// ////`
26			//// THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY ////
27			`//// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED ////`
28			`//// TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS ////`
29			`//// FOR A PARTICULAR PURPOSE. IN NO EVENT SHALL THE AUTHOR ////`
30			`//// OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, ////`
31			`//// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES ////`
32			`//// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE ////`
33			`//// GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR ////`
34			`//// BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF ////`
35			`//// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT ////`
36			`//// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT ////`
37			`//// OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE ////`
38			`//// POSSIBILITY OF SUCH DAMAGE. ////`
39			`//// ////`
40			`/////////////////////////////////////////////////////////////////////`
41
42
43			`//CHECKER`
44
45			`module CHECKER(c_clk, c_res,`
46			`ic_data_0, ic_data_1, ic_data_2, ic_data_3,`
47			`oc_data,`
48			`oc_parity,`
49			`ic_data_collected,`
50			`oc_data_collected);`
51
52			`input c_clk, c_res;`
53			`input [7:0] ic_data_0, ic_data_1, ic_data_2, ic_data_3;`
54			`input [15:0] oc_data;`
55			`input oc_parity;`
56			`input [0:127] ic_data_collected, oc_data_collected;`
57
58			`integer i, j;`
59
60			`reg [15:0] checker_result;`
61			`reg checker_result_parity;`
62			`reg [3:0] checker_operator_type;`
63			`reg [2:0] checker_operator_symbol;`
64
65			`integer fh;`
66
67			`always @ (posedge c_clk or posedge c_res)`
68			`if(c_res)`
69			`begin`
70			`i = 0;`
71			`j = 0;`
72			`checker_result = 16'b0;`
73			`checker_result_parity = 1'b0;`
74			`checker_operator_type = 4'b1111;`
75			`checker_operator_symbol = 3'b111;`
76			`end`
77
78			`always @ (ic_data_collected[i])`
79			`if(ic_data_collected[i])`
80			`begin`
81			`#1`
82			`if(fh === 32'bx)`
83			`fh = $fopen("checker.out");`
84
85			`$fdisplay(fh, "%0d INFO: Collected IN transaction no %0d: ic_data_0 = %b, ic_data_1 = %b, ic_data_2 = %b, ic_data_3 = %b",`
86			`$time, i, ic_data_0, ic_data_1, ic_data_2, ic_data_3);`
87
88			`//calculate checker's alu result`
89			`checker_operator_type = ic_data_0[7:4];`
90			`checker_operator_symbol = ic_data_0[3:1];`
91
92			`case (checker_operator_type)`
93			`'d0: //Arithmetic`
94			`begin`
95			`$fdisplay(fh, "Arithmetic operator");`
96			`case(checker_operator_symbol)`
97			`'d0: //Multiply`
98			`begin`
99			`checker_result = (ic_data_1 * ic_data_2);`
100			`$fdisplay(fh, "OPERATION * (Multiply): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
101			`ic_data_1, ic_data_2, checker_result);`
102			`end`
103			`'d1: //Divide`
104			`begin`
105			`checker_result = (ic_data_1 / ic_data_2);`
106			`$fdisplay(fh, "OPERATION / (Divide): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
107			`ic_data_1, ic_data_2, checker_result);`
108			`end`
109			`'d2: //Add`
110			`begin`
111			`checker_result = (ic_data_1 + ic_data_2);`
112			`$fdisplay(fh, "OPERATION + (Add): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
113			`ic_data_1, ic_data_2, checker_result);`
114			`end`
115			`'d3: //Substract`
116			`begin`
117			`checker_result = (ic_data_1 - ic_data_2);`
118			`$fdisplay(fh, "OPERATION - (Substract): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
119			`ic_data_1, ic_data_2, checker_result);`
120			`end`
121			`'d4: //Modulus`
122			`begin`
123			`checker_result = (ic_data_1 % ic_data_2);`
124			`$fdisplay(fh, "OPERATION (Modulus): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
125			`ic_data_1, ic_data_2, checker_result);`
126			`end`
127			`endcase`
128			`end`
129			`'d1: //Logical`
130			`begin`
131			`$fdisplay(fh, "Logical operator");`
132			`case(checker_operator_symbol)`
133			`'d0: //Logical negation`
134			`begin`
135			`checker_result = (!ic_data_1);`
136			`$fdisplay(fh, "OPERATION ! (Logical negation): ic_data_1 = %b, checker_result = %b",`
137			`ic_data_1, checker_result);`
138			`end`
139			`'d1: //Logical and`
140			`begin`
141			`checker_result = (ic_data_1 && ic_data_2);`
142			`$fdisplay(fh, "OPERATION && (Logical and): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
143			`ic_data_1, ic_data_2, checker_result);`
144			`end`
145			`'d2: //Logical or`
146			`begin`
147			`checker_result = (ic_data_1 \|\| ic_data_2);`
148			`$fdisplay(fh, "OPERATION \|\| (Logical or): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
149			`ic_data_1, ic_data_2, checker_result);`
150			`end`
151			`endcase`
152			`end`
153			`'d2: //Relational`
154			`begin`
155			`$fdisplay(fh, "Relational operator");`
156			`case(checker_operator_symbol)`
157			`'d0: //Greater than`
158			`begin`
159			`checker_result = (ic_data_1 > ic_data_2);`
160			`$fdisplay(fh, "OPERATION > (Greater than): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
161			`ic_data_1, ic_data_2, checker_result);`
162			`end`
163			`'d1: //Less than`
164			`begin`
165			`checker_result = (ic_data_1 < ic_data_2);`
166			`$fdisplay(fh, "OPERATION < (Less than): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
167			`ic_data_1, ic_data_2, checker_result);`
168			`end`
169			`'d2: //Greater than or equal`
170			`begin`
171			`checker_result = (ic_data_1 >= ic_data_2);`
172			`$fdisplay(fh, "OPERATION >= (Greater than or equal): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
173			`ic_data_1, ic_data_2, checker_result);`
174			`end`
175			`'d3: //Less than or equal`
176			`begin`
177			`checker_result = (ic_data_1 <= ic_data_2);`
178			`$fdisplay(fh, "OPERATION <= (Less than or equal): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
179			`ic_data_1, ic_data_2, checker_result);`
180			`end`
181			`endcase`
182			`end`
183			`'d3: //Equality`
184			`begin`
185			`$fdisplay(fh, "Equality operator");`
186			`case(checker_operator_symbol)`
187			`'d0: //Equality`
188			`begin`
189			`checker_result = (ic_data_1 == ic_data_2);`
190			`$fdisplay(fh, "OPERATION == (Equality): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
191			`ic_data_1, ic_data_2, checker_result);`
192			`end`
193			`'d1: //Inequality`
194			`begin`
195			`checker_result = (ic_data_1 != ic_data_2);`
196			`$fdisplay(fh, "OPERATION != (Inequality): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
197			`ic_data_1, ic_data_2, checker_result);`
198			`end`
199			`'d2: //Case equality`
200			`begin`
201			`checker_result = (ic_data_1 === ic_data_2);`
202			`$fdisplay(fh, "OPERATION === (Case equality): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
203			`ic_data_1, ic_data_2, checker_result);`
204			`end`
205			`'d3: //Case inequality`
206			`begin`
207			`checker_result = (ic_data_1 !== ic_data_2);`
208			`$fdisplay(fh, "OPERATION !== (Case inequality): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
209			`ic_data_1, ic_data_2, checker_result);`
210			`end`
211			`endcase`
212			`end`
213			`'d4: //Bitwise`
214			`begin`
215			`$fdisplay(fh, "Bitwise operator");`
216			`case(checker_operator_symbol)`
217			`'d0: //Bitwise negation`
218			`begin`
219			`checker_result = (~ ic_data_1);`
220			`$fdisplay(fh, "OPERATION ~ (Bitwise negation): ic_data_1 = %b, checker_result = %b",`
221			`ic_data_1, checker_result);`
222			`end`
223			`'d1: //Bitwise and`
224			`begin`
225			`checker_result = (ic_data_1 & ic_data_2);`
226			`$fdisplay(fh, "OPERATION & (Bitwise and): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
227			`ic_data_1, ic_data_2, checker_result);`
228			`end`
229			`'d2: //Bitwise or`
230			`begin`
231			`checker_result = (ic_data_1 \| ic_data_2);`
232			`$fdisplay(fh, "OPERATION \| (Bitwise or): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
233			`ic_data_1, ic_data_2, checker_result);`
234			`end`
235			`'d3: //Bitwise xor`
236			`begin`
237			`checker_result = (ic_data_1 ^ ic_data_2);`
238			`$fdisplay(fh, "OPERATION ^ (Bitwise xor): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
239			`ic_data_1, ic_data_2, checker_result);`
240			`end`
241			`'d4: //Bitwise xnor (1st operator symbol)`
242			`begin`
243			`checker_result = (ic_data_1 ^~ ic_data_2);`
244			`$fdisplay(fh, "OPERATION ^~ (Bitwise xnor (1st operator symbol)): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
245			`ic_data_1, ic_data_2, checker_result);`
246			`end`
247			`'d5: //Bitwise xnor (2nd operator symbol)`
248			`begin`
249			`checker_result = (ic_data_1 ~^ ic_data_2);`
250			`$fdisplay(fh, "OPERATION ~^ (Bitwise xnor (2nd operator symbol)): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
251			`ic_data_1, ic_data_2, checker_result);`
252			`end`
253			`endcase`
254			`end`
255			`'d5: //Reduction`
256			`begin`
257			`$fdisplay(fh, "Reduction operator");`
258			`case(checker_operator_symbol)`
259			`'d0: //Reduction and`
260			`begin`
261			`checker_result = (& ic_data_1);`
262			`$fdisplay(fh, "OPERATION & (Reduction and): ic_data_1 = %b, checker_result = %b",`
263			`ic_data_1, checker_result);`
264			`end`
265			`'d1: //Reduction nand`
266			`begin`
267			`checker_result = (~& ic_data_1);`
268			`$fdisplay(fh, "OPERATION ~& (Reduction nand): ic_data_1 = %b, checker_result = %b",`
269			`ic_data_1, checker_result);`
270			`end`
271			`'d2: //Reduction or`
272			`begin`
273			`checker_result = (\| ic_data_1);`
274			`$fdisplay(fh, "OPERATION \| (Reduction or): ic_data_1 = %b, checker_result = %b",`
275			`ic_data_1, checker_result);`
276			`end`
277			`'d3: //Reduction nor`
278			`begin`
279			`checker_result = (~\| ic_data_1);`
280			`$fdisplay(fh, "OPERATION ~\| (Reduction nor): ic_data_1 = %b, checker_result = %b",`
281			`ic_data_1, checker_result);`
282			`end`
283			`'d4: //Reduction xor`
284			`begin`
285			`checker_result = (^ ic_data_1);`
286			`$fdisplay(fh, "OPERATION ^ (Reduction xor): ic_data_1 = %b, checker_result = %b",`
287			`ic_data_1, checker_result);`
288			`end`
289			`'d5: //Reduction xnor (1st operator symbol)`
290			`begin`
291			`checker_result = (^~ ic_data_1);`
292			`$fdisplay(fh, "OPERATION ^~ (Reduction xnor (1st operator symbol)): ic_data_1 = %b, checker_result = %b",`
293			`ic_data_1, checker_result);`
294			`end`
295			`'d6: //Reduction xnor (2nd operator symbol)`
296			`begin`
297			`checker_result = (~^ ic_data_1);`
298			`$fdisplay(fh, "OPERATION ~^ (Reduction xnor (2nd operator symbol)): ic_data_1 = %b, checker_result = %b",`
299			`ic_data_1, checker_result);`
300			`end`
301			`endcase`
302			`end`
303			`'d6: //Shift`
304			`begin`
305			`$fdisplay(fh, "Shift operator");`
306			`case(checker_operator_symbol)`
307			`'d0: //Right shift`
308			`begin`
309			`checker_result = (ic_data_1 >> ic_data_2);`
310			`$fdisplay(fh, "OPERATION >> (Right shift): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
311			`ic_data_1, ic_data_2, checker_result);`
312			`end`
313			`'d1: //Left shift`
314			`begin`
315			`checker_result = (ic_data_1 << ic_data_2);`
316			`$fdisplay(fh, "OPERATION << (Left shift): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
317			`ic_data_1, ic_data_2, checker_result);`
318			`end`
319			`endcase`
320			`end`
321			`'d7: //Concatenation`
322			`begin`
323			`$fdisplay(fh, "Concatenation operator");`
324			`case(checker_operator_symbol)`
325			`'d0: //Concatenation`
326			`begin`
327			`checker_result = {ic_data_1, ic_data_2};`
328			`$fdisplay(fh, "OPERATION {} (Concatenation): ic_data_1 = %b, ic_data_2 = %b, checker_result = %b",`
329			`ic_data_1, ic_data_2, checker_result);`
330			`end`
331			`endcase`
332			`end`
333			`'d8: //Replication`
334			`begin`
335			`$fdisplay(fh, "Replication operator");`
336			`case(checker_operator_symbol)`
337			`'d0: //Replication`
338			`begin`
339			`checker_result = { 2 {ic_data_1} };`
340			`$fdisplay(fh, "OPERATION { { } } (Replication): ic_data_1 = %b - replicated twice: checker_result = %b",`
341			`ic_data_1, checker_result);`
342			`end`
343			`endcase`
344			`end`
345			`'d9: //Conditional`
346			`begin`
347			`$fdisplay(fh, "Conditional operator");`
348			`case(checker_operator_symbol)`
349			`'d0: //Conditional`
350			`begin`
351			`checker_result = (ic_data_1 ? ic_data_2 : ic_data_3);`
352			`$fdisplay(fh, "OPERATION ?: (Conditional): ic_data_1 = %b, ic_data_2 = %b, ic_data_3=%b, checker_result = %b",`
353			`ic_data_1, ic_data_2, ic_data_3, checker_result);`
354			`end`
355			`endcase`
356			`end`
357			`endcase`
358			`checker_result_parity = ^checker_result; //Parity = XOR of all result's bits`
359			`i = i + 1;`
360
361			`//$fclose(fh);`
362			`end`
363
364			`always @ (oc_data_collected[j])`
365			`begin`
366			`if(oc_data_collected[j])`
367			`begin`
368			`$fdisplay(fh, "%0d INFO: Collected OUT transaction no %0d: %b", $time, j, oc_data);`
369			`//checker result`
370			`if(checker_result[15:0] === oc_data[15:0])`
371			`$fdisplay(fh, "%0d INFO: Calculus of data for transaction no. %0d match! (%b - %b)",`
372			`$time, j, checker_result[15:0], oc_data[15:0]);`
373			`else`
374			`$fdisplay(fh, "%0d ERROR: Calculus of data for transaction no. %0d DO NOT match! (%b - %b)",`
375			`$time, j, checker_result[15:0], oc_data[15:0]);`
376			`//checker parity`
377			`if(checker_result_parity === oc_parity)`
378			`$fdisplay(fh, "%0d INFO: Calculus of parity for transaction no. %0d match! (%b - %b)\n",`
379			`$time, j, checker_result_parity, oc_parity);`
380			`else`
381			`$fdisplay(fh, "%0d ERROR: Calculus of parity for transaction no. %0d DO NOT match! (%b - %b)\n",`
382			`$time, j, checker_result_parity, oc_parity);`
383			`j = j + 1;`
384			`end`
385			`end`
386
387			`endmodule`