Assertion: resistor's value | /r/AtLocation | known state
Facets:
value: always
type: TEMPORAL
Source sentences:
text: To ensure the values of an I/P is always in a known state, pull up and pull-down resistors are used.