Wei Li Daniel Blakely Scott Van Sooy Keven Dunn David Kidd Robert Rogenmoser Dian Zhou LVS verification across multiple power domains for a quad-core microprocessor. 490-500 2006 11 ACM Trans. Design Autom. Electr. Syst. 2 http://doi.acm.org/10.1145/1142155.1142166 db/journals/todaes/todaes11.html#LiBSDKRZ06