Assertion list
value (aspect of capacitor ) → HasSubevent
Results from Ascent++: 1
value → HasSubevent → strong high-side mosfet drive 0.25