15 lines
177 B
Coq
15 lines
177 B
Coq
|
/**
|
||
|
|
* 16-bit bitwise Buffer:
|
||
|
|
* for i = 0..15: out[i] = in[i]
|
||
|
|
*/
|
||
|
|
|
||
|
|
`default_nettype none
|
||
|
|
module Buffer16(
|
||
|
|
input [15:0] in,
|
||
|
|
output [15:0] out
|
||
|
|
);
|
||
|
|
|
||
|
|
assign out = in;
|
||
|
|
|
||
|
|
endmodule
|