Design automation,languages,and simulations - Chen, Wai-Kai (CRC Press, 2003)