15 lines
160 B
Coq
Raw Normal View History

2023-01-11 11:13:09 +01:00
/**
* Buffer:
* out = in
*/
`default_nettype none
module Buffer(
input in,
output out
2023-01-11 11:13:09 +01:00
);
// Put your code here:
assign out = in;
2023-01-11 11:13:09 +01:00
endmodule