Assertion: latch's state | /r/HasProperty | based on other inputs
Facets:
Source sentences:
text: As the outputs of sequential circuits depend on present and previous states, these are represented in the form of table called state table and it shows the next state based on the present state and other inputs.