mirror of
https://github.com/annoyatron255/yosys4gal.git
synced 2024-12-22 18:52:23 +00:00
9 lines
89 B
Coq
9 lines
89 B
Coq
|
module tristate (
|
||
|
|
input a, b, c,
|
||
|
|
output y
|
||
|
|
);
|
||
|
|
|
||
|
|
assign y = c ? a && b : 1'bz;
|
||
|
|
|
||
|
|
endmodule
|