Assertion list
value (aspect of capacitor ) → HasSubevent

Results from Ascent++: 1
valueHasSubevent strong high-side mosfet drive 0.25