Assertion: transistor's value | /r/DistinctFrom | new value
Facets:
Source sentences:
text: If the value of the loop is different from the new value driven there are two conflicting values, in order for the voltage in the bit lines to overwrite the output of the inverters, the size of the M5 and M6 transistors must be larger than that of the M1-M4 transistors.