Login / Signup
Mehmet Avci
Publication Activity (10 Years)
Years Active: 2010-2016
Publications (10 Years): 1
Top Topics
Hierarchical Structure
Constraint Satisfaction
Model Checking
Closely Related
Top Venues
IEEE Trans. Very Large Scale Integr. Syst.
</>
Publications
</>
Mehmet Avci
,
Farid N. Najm
Verification of the Power and Ground Grids Under General and Hierarchical Constraints.
IEEE Trans. Very Large Scale Integr. Syst.
24 (2) (2016)
Mehmet Avci
,
Farid N. Najm
Early P/G grid voltage integrity verification.
ICCAD
(2010)