Assertion list
transistor (primary) → AtLocation

Results from Ascent++: 6
transistorAtLocation saturation 0.67
transistorAtLocation off state 0.60
transistorAtLocation active region 0.55
transistorAtLocation conducting state 0.46
transistorAtLocation the offstate 0.41
transistorAtLocation first data state 0.35