8 lines
81 B
Coq
8 lines
81 B
Coq
|
module hello;
|
||
|
initial
|
||
|
begin
|
||
|
$display("Hello, World");
|
||
|
$finish ;
|
||
|
end
|
||
|
endmodule
|