Assertion: flop's output | /r/HasProperty | 0 i.e. q1
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.