Assertion list for term "charged to vbatt−vf".

Results from Ascent++: 1
capacitor ReceivesActioncharged to vbatt−vf 0.31