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.

Authors

Dionysios Kouroussis

This author has not been identified. Look up 'Dionysios Kouroussis' in Google

Imad A. Ferzli

This author has not been identified. Look up 'Imad A. Ferzli' in Google

Farid N. Najm

This author has not been identified. Look up 'Farid N. Najm' in Google