Assertion: latch's input | /r/HasProperty | equal
Facets:
value: to 0
type: OTHER
value: to 2'b11
type: OTHER
Source sentences:
text: This code above will generate a latch, because the output o_latch is not defined when the input i_select is equal to 2'b11.
text: The input to the upper NAND gate is now 1 NAND 1, which is equal to 0.
text: The input to the lower NAND gate is now 1 NAND 1, which is equal to 0.