13 lines
181 B
Coq
13 lines
181 B
Coq
|
`default_nettype none
|
||
|
|
module top(
|
||
|
|
input BUT1,
|
||
|
|
input BUT2,
|
||
|
|
output LED1,
|
||
|
|
output LED2
|
||
|
|
);
|
||
|
|
|
||
|
|
Buffer BUFFER1(.in(BUT1),.out(LED1));
|
||
|
|
Buffer BUFFER2(.in(BUT2),.out(LED2));
|
||
|
|
|
||
|
|
endmodule
|