mirror of https://github.com/YosysHQ/yosys.git
5 lines
100 B
Coq
5 lines
100 B
Coq
|
module test(input in, input clk, output reg out);
|
||
|
|
always @(negedge clk)
|
||
|
|
out <= in;
|
||
|
|
endmodule
|