LVS verification across multiple power domains for a quad-core microprocessor. - Wei Li; Daniel Blakely; Scott Van Sooy; Keven Dunn; David Kidd; Robert Rogenmoser; Dian Zhou (ACM Trans. Design Autom. Electr. Syst., 2006)