Assertion: flop's state | /r/HasProperty | equal
Facets:
value: to data input
type: OTHER
value: always
type: DEGREE
Source sentences:
text: Next state of D flip-flop is always equal to data input, D for every positive transition of the clock signal.