000			01301nam a2200325Ia 4500
001			ebr10127906
003			CaPaEBR
006			m u
007			cr cn|||||||||
008			050727s2005 ne a sb 001 0 eng d
010			_z 2005299338
020			_z0127518037
040			_aCaPaEBR _cCaPaEBR
035			_a(OCoLC)61400208
050	1	4	_aTK7874.58 _b.W55 2005eb
082	0	4	_a621.3815/48 _222
100	1		_aWile, Bruce.
245	1	0	_aComprehensive functional verification the complete industry cycle _h[electronic resource] / _cBruce Wile, John C. Goss, Wolfgang Roesner.
260			_aAmsterdam ; _aBoston : _bElsevier/Morgan Kaufmann, _cc2005.
300			_axxiii, 676 p. : _bill.
504			_aIncludes bibliographical references (p. 657-662) and index.
533			_aElectronic reproduction. _bPalo Alto, Calif. : _cebrary, _d2009. _nAvailable via World Wide Web. _nAccess may be limited to ebrary affiliated libraries.
650		0	_aIntegrated circuits _xVerification.
650		0	_aComputer engineering.
655		7	_aElectronic books. _2local
700	1		_aGoss, John C.
700	1		_aRoesner, W. _q(Wolfgang)
710	2		_aebrary, Inc.
856	4	0	_uhttp://site.ebrary.com/lib/rucke/Doc?id=10127906 _zAn electronic book accessible through the World Wide Web; click to view
999			_c81985 _d81985