Assertion: carry | /r/HasProperty | valid
Facets:
Source sentences:
text: Sum out S0 and carry out Cout of the Full Adder 1 is valid only after the propagation delay of Full Adder 1.