6 lines
106 B
Coq
6 lines
106 B
Coq
|
module hello_world;
|
||
|
|
initial begin
|
||
|
|
$display ("Hello World");
|
||
|
|
$finish;
|
||
|
|
end
|
||
|
|
endmodule
|