mirror of https://github.com/lnis-uofu/SOFA.git
23 lines
261 B
Coq
23 lines
261 B
Coq
|
module io_reg(clk, in, out);
|
||
|
|
|
||
|
|
input clk;
|
||
|
|
input in;
|
||
|
|
output out;
|
||
|
|
reg out;
|
||
|
|
|
||
|
|
//reg temp;
|
||
|
|
|
||
|
|
always @(posedge clk)
|
||
|
|
begin
|
||
|
|
out <= in;
|
||
|
|
end
|
||
|
|
|
||
|
|
/*always @(posedge clk)
|
||
|
|
begin
|
||
|
|
out <= temp ;
|
||
|
|
end*/
|
||
|
|
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
|