1. Electronic design automation : synthesis, verification, and test /: synthesis, verification, and test. (©2009) Other Names: Wang, Laung-Terng; Chang, Yao-Wen, 1966-; Cheng, Kwang-Ting, 1961- Record Type: Book Extent: 1 online resource (xxxv, 934 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗