000 02797nam a22003615i 4500
001 279749
003 MX-SnUAN
005 20160429153957.0
007 cr nn 008mamaa
008 150903s2008 xxu| o |||| 0|eng d
020 _a9780387717333
_99780387717333
024 7 _a10.1007/9780387717333
_2doi
035 _avtls000332181
039 9 _a201509030757
_bVLOAD
_c201404122044
_dVLOAD
_c201404091814
_dVLOAD
_y201402041022
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aTK7888.4
100 1 _aWiemann, Alan.
_eautor
_9304247
245 1 0 _aStandardized Functional Verification /
_cby Alan Wiemann.
264 1 _aBoston, MA :
_bSpringer US,
_c2008.
300 _brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
500 _aSpringer eBooks
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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9780387717326
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-0-387-71733-3
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c279749
_d279749