Mehmet Avci, Farid N. Najm. Verification of the Power and Ground Grids Under General and Hierarchical Constraints. IEEE Trans. VLSI Syst., 24(2):729-742, 2016. [doi]
@article{AvciN16,
title = {Verification of the Power and Ground Grids Under General and Hierarchical Constraints},
author = {Mehmet Avci and Farid N. Najm},
year = {2016},
doi = {10.1109/TVLSI.2015.2413966},
url = {http://dx.doi.org/10.1109/TVLSI.2015.2413966},
researchr = {https://researchr.org/publication/AvciN16},
cites = {0},
citedby = {0},
journal = {IEEE Trans. VLSI Syst.},
volume = {24},
number = {2},
pages = {729-742},
}