mirror of https://github.com/YosysHQ/yosys.git
6 lines
102 B
Coq
6 lines
102 B
Coq
|
module test (A, B, X, Y);
|
||
|
input [7:0] A, B;
|
||
|
output [7:0] X = A + B;
|
||
|
output [7:0] Y = A + A;
|
||
|
endmodule
|