000			00677nam a2200205Ia 4500
008			161214s9999 xx 000 0 und d
020			_a0849379237 _c(hbk)
082			_223 _a621.3815 _bSCH
100			_aLavagno, Luciano
245		0	_aEDA for IC system design, verification, and testing
260			_aBoca Raton: _bCRC Press, _c2006
300			_a1 vol.; _bill.: _c26 cm.
490			_aElectronic design automation for integrated circuits handbook
650			_aEbook
650			_aIntegrated circuits -- Computer-aided design
650			_aIntegrated circuits -- Verification -- Data processing
700			_aMartin, Grant
700			_aScheffer, Louis
942			_2ddc _cBK
999			_c4418 _d4418