mirror of
https://github.com/sehugg/8bitworkshop.git
synced 2024-11-23 06:32:11 +00:00
12 lines
201 B
Coq
12 lines
201 B
Coq
|
module t(y);
|
||
|
|
output [3:0] y;
|
||
|
|
// bug775
|
||
|
|
// verilator lint_off WIDTH
|
||
|
|
assign y = ((0/0) ? 1 : 2) % 0;
|
||
|
|
|
||
|
|
initial begin
|
||
|
|
$write("*-* All Finished *-*\n");
|
||
|
|
$finish;
|
||
|
|
end
|
||
|
|
endmodule
|