mirror of https://github.com/YosysHQ/yosys.git
7 lines
133 B
Coq
7 lines
133 B
Coq
|
module test(a, b, c, d, e, f, y);
|
||
|
|
input [19:0] a, b, c;
|
||
|
|
input [15:0] d, e, f;
|
||
|
|
output [41:0] y;
|
||
|
|
assign y = a*b + c*d + e*f;
|
||
|
|
endmodule
|