Incremental partitioning-based vectorless power grid verification

Dionysios Kouroussis, Imad A. Ferzli, Farid N. Najm. Incremental partitioning-based vectorless power grid verification. In 2005 International Conference on Computer-Aided Design (ICCAD 05), November 6-10, 2005, San Jose, CA, USA. pages 358-364, IEEE Computer Society, 2005.

Abstract

Abstract is missing.