Assertion: latch's output | /r/HasAspect | undefined states
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.