15 lines
223 B
Coq
15 lines
223 B
Coq
|
module test;
|
||
|
|
|
||
|
|
parameter [39:0] foo = 5;
|
||
|
|
|
||
|
|
initial begin
|
||
|
|
if ($bits(foo) != 40) begin
|
||
|
|
$display("FAILED -- $bits(foo) == %d", $bits(foo));
|
||
|
|
$finish;
|
||
|
|
end
|
||
|
|
|
||
|
|
$display("PASSED");
|
||
|
|
end
|
||
|
|
|
||
|
|
endmodule // test
|