Assertion list for term "connected to the gate of the pmosfet".
Results from Ascent++: 1
terminal (aspect of transistor) → ReceivesAction → connected to the gate of the pmosfet 0.47