Assertion: complex logic | /r/HasProperty | verified
Facets:
value: often
type: DEGREE
value: by simulating inputs
type: MANNER
Source sentences:
text: Often, complex discrete logic is verified by simulating inputs and testing outputs using boundary scan.