[Inputs]
A
B
Cin
[Outputs]
Sum
Cout
[BiDir]
[ATTRIBUTES]
VeriModel oneBitAdder