Assertion: flop's output | /r/HasProperty | put through combinatorial logic function
Facets:
Source sentences:
text: The output of the register is put through a combinatorial logic function which adds 1 (a four bit adder) to produce the incremented value.