-
Notifications
You must be signed in to change notification settings - Fork 19
/
Copy pathlb_unit_test.v
117 lines (69 loc) · 1.76 KB
/
lb_unit_test.v
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
`define assert(signal, value) if ((signal) !== (value)) begin $display("ASSERTION FAILED in %m: signal != value"); $finish(1); end
`define POSEDGE #1 clk = 0; #1 clk = 1; #1 clk = 0;
module test();
reg clk;
reg rst;
reg wen;
reg [15:0] wdata;
wire [31:0] rdata;
wire valid;
initial begin
#1 rst = 0;
`POSEDGE
#1 rst = 1;
`POSEDGE
#1 rst = 0;
`assert(valid, 0)
`POSEDGE
#1 wen = 1;
#1 wdata = 0;
`POSEDGE
#1 wen = 1;
#1 wdata = 1;
`POSEDGE
#1 wen = 1;
#1 wdata = 2;
`POSEDGE
#1 wen = 1;
#1 wdata = 3;
`POSEDGE
#1 wen = 1;
#1 wdata = 4;
`POSEDGE
#1 wen = 1;
#1 wdata = 5;
`POSEDGE
#1 wen = 1;
#1 wdata = 6;
`POSEDGE
#1 wen = 1;
#1 wdata = 7;
`POSEDGE
#1 wen = 1;
#1 wdata = 8;
`assert(valid, 0)
`POSEDGE
$display("On first valid rdata = %b, {%d, %d}", rdata, rdata[31:16], rdata[15:0]);
`assert(valid, 1)
`assert(rdata[15:0], 16'd0)
`assert(rdata[31:16], 16'd8)
#1 wen = 0;
// #1 wdata = 9;
`POSEDGE
`assert(valid, 0)
`POSEDGE
`POSEDGE
`POSEDGE
#1 wen = 1;
#1 wdata = 9;
`POSEDGE
$display("On second valid rdata = %b, {%d, %d}", rdata, rdata[31:16], rdata[15:0]);
#1 wen = 1;
#1 wdata = 10;
`assert(valid, 1)
`assert(rdata[15:0], 16'd1)
`assert(rdata[31:16], 16'd9)
`POSEDGE
end
push_linebuf #(.IN_WIDTH(16), .OUT_WIDTH(32)) dut(.clk(clk), .rst(rst), .wen(wen), .valid(valid), .wdata(wdata), .rdata(rdata));
endmodule