000			02879nam a22003975i 4500
001			288725
003			MX-SnUAN
005			20160429154639.0
007			cr nn 008mamaa
008			150903s2013 xxu| o |||| 0|eng d
020			_a9781461413592 _99781461413592
024	7		_a10.1007/9781461413592 _2doi
035			_avtls000340566
039		9	_a201509030349 _bVLOAD _c201404300417 _dVLOAD _y201402061028 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aTK7888.4
100	1		_aChen, Mingsong. _eautor _9318611
245	1	0	_aSystem-Level Validation : _bHigh-Level Modeling and Directed Test Generation Techniques / _cby Mingsong Chen, Xiaoke Qin, Heon-Mo Koo, Prabhat Mishra.
264		1	_aNew York, NY : _bSpringer New York : _bImprint: Springer, _c2013.
300			_axxI, 247 páginas 103 ilustraciones, 6 ilustraciones en color. _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		_aIntroduction -- Modeling and Specification of SoC Designs -- Automated Generation of Directed Tests -- Functional Test Compaction.- Property Clustering and Learning Techniques -- Decision Ordering Based Learning Techniques -- Synchronized Generation of Directed Tests -- Learning-Oriented Property Decomposition Approaches -- Directed Test Generation for Multicore Architectures -- Test Generation for Cache Coherence Validation.- Reuse of System-Level Tests for Implementation Validation -- Conclusion.
520			_aThis book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures.  Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions.  The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aQin, Xiaoke. _eautor _9318612
700	1		_aKoo, Heon-Mo. _eautor _9318613
700	1		_aMishra, Prabhat. _eautor _9302698
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9781461413585
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-4614-1359-2 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c288725 _d288725