Login / Signup
Ambuj Mishra
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Matlab Simulink
Model Checker
Short Circuit
Power Electronics
Top Venues
VDAT
</>
Publications
</>
Ambuj Mishra
,
Subir K. Roy
Formal verification of switched capacitor DC to DC power converter using circuit simulation traces.
VDAT
(2016)