Computer aided design and design automation - Chen, Wai-Kai (CRC Press, 2009)