9 lines
100 B
Coq
9 lines
100 B
Coq
module halfadder(
|
|
input A,B,
|
|
output S,C
|
|
);
|
|
|
|
xor (S, A, B);
|
|
and (C, A, B);
|
|
|
|
endmodule |