id: 70390406 dt: a an: 70390406 au: Ghani, Nahi H. Abdul; Najm, Farid N. ti: Fast vectorless power grid verification using an approximate inverse technique so: DAC, 184-189 (2009). py: 2009 pu: la: EN cc: ut: ci: li: doi:10.1145/1629911.1629962