Imad A. Ferzli, Farid N. Najm, Lars Kruse. Early power grid verification under circuit current uncertainties. In Diana Marculescu, Anand Raghunathan, Ali Keshavarzi, Vijaykrishnan Narayanan, editors, Proceedings of the 2007 International Symposium on Low Power Electronics and Design, 2007, Portland, OR, USA, August 27-29, 2007. pages 116-121, ACM, 2007. [doi]
Abstract is missing.