mirror of https://github.com/zachjs/sv2v.git
121 lines
2.1 KiB
Coq
121 lines
2.1 KiB
Coq
|
|
module test;
|
||
|
|
reg [31:0] a_w, a_x;
|
||
|
|
reg [7:0] a_y;
|
||
|
|
reg a_z;
|
||
|
|
reg [72:0] a;
|
||
|
|
always @* a = {a_w, a_x, a_y, a_z};
|
||
|
|
initial begin
|
||
|
|
$monitor("%2d: %b %b %b %b %b", $time, a, a_w, a_x, a_y, a_z);
|
||
|
|
|
||
|
|
#1 a_w = 0;
|
||
|
|
#1 a_x = 0;
|
||
|
|
#1 a_y = 0;
|
||
|
|
#1 a_z = 0;
|
||
|
|
|
||
|
|
#1 begin
|
||
|
|
a_w = 1;
|
||
|
|
a_x = 1;
|
||
|
|
a_y = 1;
|
||
|
|
a_z = 1;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 2;
|
||
|
|
a_x = 2;
|
||
|
|
a_y = 2;
|
||
|
|
a_z = 2;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 3;
|
||
|
|
a_x = 3;
|
||
|
|
a_y = 3;
|
||
|
|
a_z = 3;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 0;
|
||
|
|
a_x = 0;
|
||
|
|
a_y = 0;
|
||
|
|
a_z = 0;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = -1;
|
||
|
|
a_x = -1;
|
||
|
|
a_y = -1;
|
||
|
|
a_z = -1;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = -2;
|
||
|
|
a_x = -2;
|
||
|
|
a_y = -2;
|
||
|
|
a_z = -2;
|
||
|
|
end
|
||
|
|
|
||
|
|
#1 begin
|
||
|
|
a_w = 0;
|
||
|
|
a_x = 0;
|
||
|
|
a_y = 1;
|
||
|
|
a_z = 1;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 1;
|
||
|
|
a_x = 1;
|
||
|
|
a_y = 0;
|
||
|
|
a_z = 1;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 1;
|
||
|
|
a_x = 1;
|
||
|
|
a_y = 1;
|
||
|
|
a_z = 0;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 2;
|
||
|
|
a_x = 2;
|
||
|
|
a_y = 3;
|
||
|
|
a_z = 1;
|
||
|
|
end
|
||
|
|
#1;
|
||
|
|
#1 begin
|
||
|
|
a_w = 3;
|
||
|
|
a_x = 3;
|
||
|
|
a_y = 2;
|
||
|
|
a_z = 0;
|
||
|
|
end
|
||
|
|
|
||
|
|
#1 begin
|
||
|
|
a_w = 8;
|
||
|
|
a_x = 0;
|
||
|
|
a_y = 1;
|
||
|
|
a_z = 1;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 8;
|
||
|
|
a_x = 1;
|
||
|
|
a_y = 0;
|
||
|
|
a_z = 1;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 8;
|
||
|
|
a_x = 1;
|
||
|
|
a_y = 1;
|
||
|
|
a_z = 0;
|
||
|
|
end
|
||
|
|
#1 begin
|
||
|
|
a_w = 8;
|
||
|
|
a_x = 2;
|
||
|
|
a_y = 3;
|
||
|
|
a_z = 1;
|
||
|
|
end
|
||
|
|
#1;
|
||
|
|
#1 begin
|
||
|
|
a_w = 8;
|
||
|
|
a_x = 3;
|
||
|
|
a_y = 2;
|
||
|
|
a_z = 0;
|
||
|
|
end
|
||
|
|
|
||
|
|
|
||
|
|
end
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
module top; endmodule
|