Assertion: latch | /r/HasProperty | inferred
Facets:
Source sentences:
text: A latch is inferred when the output of combinatorial logic has undefined states, that is it must hold its previous value.