Assertion: carry | /r/HasProperty | propagated
Facets:
value: from a less significant bit position
type: OTHER
Source sentences:
text: They work by creating two signals (P and G) for each bit position, based on whether a carry is propagated through from a less significant bit position (at least one input is a 1), generated in that bit position (both inputs are 1), or killed in that bit position (both inputs are 0).
text: Table showing when carries are propagated or generated.