Assertion: valued logic | /r/CapableOf | model signal values
Facets:
value: in digital circuits
type: LOCATION
Source sentences:
text: It models signal values in digital circuits.