000			02904nam a22004455i 4500
001			978-0-387-71733-3
003			DE-He213
005			20250710084013.0
007			cr nn 008mamaa
008			100301s2008 xxu| s |||| 0|eng d
020			_a9780387717333 _a99780387717333
024	7		_a10.1007/978-0-387-71733-3 _2doi
082	0	4	_a621.3815 _223
100	1		_aWiemann, Alan. _eauthor.
245	1	0	_aStandardized Functional Verification _h[recurso electrónico] / _cby Alan Wiemann.
264		1	_aBoston, MA : _bSpringer US, _c2008.
300			_bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_atext file _bPDF _2rda
505	0		_aA Brief Overview of Functional Verification -- Analytical Foundation -- Exploring Functional Space -- Planning and Execution -- Normalizing Data -- Analyzing Results -- Assessing Risk.
520			_aStandardized Functional Verification describes the science of functional verification that applies to any digital hardware system. With a precise and comprehensive terminology this book describes a thorough technical framework for achieving superior results with greater efficiency. It also defines a scientific basis for achieving functional closure and shows how true functional closure can be measured by software. The author provides a wealth of practical guidance to the practicing professional. It describes how to compare results from differing projects and how to assess the risk of functional bugs at tape-out or at any other critical product juncture. The book also shows consumers how to compare IP offerings from multiple vendors. For producers, it describes how to verify IP in a manner that meets customer needs. Producers and consumers of silicon IP therefore have a solid framework to communicate requirements and to align expectations effectively and efficiently. Standardized Functional Verification is a valuable reference for verification engineers and managers, and also for developers of verification software. The principles and theory this book describes will drive creation of the next generation of verification tools.
650		0	_aENGINEERING.
650		0	_aCOMPUTER AIDED DESIGN.
650		0	_aELECTRONICS.
650		0	_aSYSTEMS ENGINEERING.
650	1	4	_aENGINEERING.
650	2	4	_aCIRCUITS AND SYSTEMS.
650	2	4	_aCOMPUTER-AIDED ENGINEERING (CAD, CAE) AND DESIGN.
650	2	4	_aELECTRONIC AND COMPUTER ENGINEERING.
650	2	4	_aELECTRONICS AND MICROELECTRONICS, INSTRUMENTATION.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9780387717326
856	4	0	_uhttp://dx.doi.org/10.1007/978-0-387-71733-3 _zVer el texto completo en las instalaciones del CICY
912			_aZDB-2-ENG
942			_2ddc _cER
999			_c58280 _d58280