Layout design and verification - Ueda, Kazuhiro (ADVANCES in CAD for VLSI, 1986)