000 00833nam a2200241Ia 4500
008 191130s2009##################000#0#eng##
020 _a9780123743640
022 _a2008041788
040 _aACL
_cACL
082 _a621.395 WAN
245 _aElectronic design automation : synthesis, verification, and test
_cedited by Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting (Tim) Cheng
260 _aAmsterdam ; Boston
_bMorgan Kaufmann/Elsevier
_c2009
300 _axxxv, 934 p. : ill. ; 25 cm
500 _aIncludes bibliographical references and index
650 _aComputer-aided design
650 _aElectronic circuit design - Data processing
700 _aChang, Yao-Wen
700 _aCheng, Kwang-Ting
700 _aWang, Laung-Terng
990 _a7266cce4ac10000c09bbb0997caf6857
991 _a187711
999 _c158498
_d158498