Assertion: flop's state | /r/HasProperty | reset
Facets:
Source sentences:
text: Initially, the flip flops are assumed to be in reset state as their outputs are 0 i.e. Q1 = 0 and Q2 = 0.