Efficient RC power grid verification using node elimination

Ankit Goyal, Farid N. Najm. Efficient RC power grid verification using node elimination. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 257-260, IEEE, 2011. [doi]

Abstract

Abstract is missing.