10 lines
80 B
Coq
10 lines
80 B
Coq
module ha(
|
|
input X, Y,
|
|
output S, C
|
|
);
|
|
|
|
xor(S, X, Y);
|
|
and(C, X, Y);
|
|
|
|
endmodule
|