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)

High Productivity Circuit Methodology for a Semi-Custom Embedded Processor. - David Kidd; Keven Dunn; Steve Nishimoto; Lief O'Donnell; Daniel Rodriguez (IEEE Trans. Very Large Scale Integr. Syst., 2011)