6 lines
73 B
Coq
6 lines
73 B
Coq
|
module top(...);
|
||
|
|
input a;
|
||
|
|
output y;
|
||
|
|
assign y = ~a;
|
||
|
|
endmodule
|