mirror of https://github.com/YosysHQ/yosys.git
16 lines
210 B
Coq
16 lines
210 B
Coq
|
|
||
|
|
module test001(a, b, c, y);
|
||
|
|
input a;
|
||
|
|
input [31:0] b, c;
|
||
|
|
input [31:0] y;
|
||
|
|
|
||
|
|
aoi12 p [31:0] (a, b, c, y);
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
module aoi12(a, b, c, y);
|
||
|
|
input a, b, c;
|
||
|
|
output y;
|
||
|
|
assign y = ~((a & b) | c);
|
||
|
|
endmodule
|
||
|
|
|