000 03876nam a22003735i 4500
001 278041
003 MX-SnUAN
005 20160429153846.0
007 cr nn 008mamaa
008 150903s2006 xxu| o |||| 0|eng d
020 _a9780387362540
_99780387362540
024 7 _a10.1007/9780387362540
_2doi
035 _avtls000331280
039 9 _a201509030234
_bVLOAD
_c201404121815
_dVLOAD
_c201404091545
_dVLOAD
_c201401311409
_dstaff
_y201401301205
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aTK7888.4
100 1 _aMintz, Mike.
_eautor
_9301344
245 1 0 _aHardware Verification with C++ :
_bA Practitioner’s Handbook /
_cby Mike Mintz, Robert Ekendahl.
264 1 _aBoston, MA :
_bSpringer US,
_c2006.
300 _axxI, 341 páginas,
_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 _aC++ and Verification (The Why and How) -- Why C++? -- OOP, C++, and Verification -- A Layered Approach -- An Open-Source Environment with C++ -- Teal Basics -- Truss: A Standard Verification Framework -- Truss Flow -- Truss Example -- Using OOP for Verification(Best Practices) -- Thinking OOP -- Designing with OOP -- OOP Classes -- OOP Connections -- Coding OOP -- Examples (Putting It All Together) -- Block Level Testing -- Chip Level Testing -- Things to Remember.
520 _aWritten by two verification engineers, Hardware Verification with C++: A Practitioner’s Handbook is a four-part tour of how to perform object-oriented techniques. Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II presents two open-source C++ libraries that enable efficient verification with C++ -- Teal, a C++ to Verilog interface, and Truss, a standard verification framework. Part III focuses on OOP with examples from real verification projects. Part IV puts it all together showing complete block-level and system-level verification systems. "The handbook provides a clear understanding of object-oriented programming, and how it applies to hardware verification. It is clear to me that C++, together with Teal and Truss, could form a strong platform for the next generation of hardware verification." Dr. Stanley Hyduke, CEO of Aldec, Inc. "With this book I feel confident I can constitute a verification team that could make good use of C++ for verification, with all the positive results I would need for success. That is a breakthrough!" Bob Fredieu, VP of Research and Development and Cofounder, Assertive Design "Teal let us hit the ground running and focus on developing our intellectual property instead of simulation infrastructure. After two successful ASIC projects, we couldn’t be happier with its quality, completeness and compactness." Bennet Ih, ASIC Verification Lead, SigmaTel Imaging Systems Group "Hardware verification complexity has grown to be a software effort, requiring advanced techniques such as OOP. With clear techniques and examples, this handbook guides the reader through the complexities of using OOP to create testbenches. Regardless of what language you use, this book will help sharpen your skills." Chris Spear, Verification Consultant, Synopsys, Inc., Author of SystemVerilog for Verification
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aEkendahl, Robert.
_eautor
_9301345
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9780387255439
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-0-387-36254-0
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c278041
_d278041