mirror of https://github.com/zachjs/sv2v.git
8 lines
132 B
Coq
8 lines
132 B
Coq
|
module top;
|
||
|
|
function bar;
|
||
|
|
input integer x;
|
||
|
|
bar = x * x;
|
||
|
|
endfunction
|
||
|
|
initial $display(bar(3));
|
||
|
|
endmodule
|