Imagen 1 de 1

Galería
Imagen 1 de 1

¿Quieres vender uno?
Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology
AlibrisBooks
(497681)
Vendedor profesional
USD188,13
Aproximadamente163,41 EUR
Estado:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Envío:
Gratis Standard Shipping.
Ubicado en: Sparks, Nevada, Estados Unidos
Entrega:
Entrega prevista entre el vie. 28 nov. y el mié. 3 dic. a 94104
Devoluciones:
30 días para devoluciones. El comprador paga el envío de la devolución..
Pagos:
Compra con confianza
Sobre este artículo
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:403375269915
Última actualización el 21 may 2025 19:23:57 H.EspVer todas las actualizacionesVer todas las actualizaciones
Características del artículo
- Estado
- Book Title
- Systemverilog Assertions and Functional Coverage: Guide to Langua
- Publication Date
- 2013-08-06
- Pages
- 356
- ISBN
- 9781461473237
Acerca de este producto
Product Identifiers
Publisher
Springer New York
ISBN-10
1461473233
ISBN-13
9781461473237
eBay Product ID (ePID)
160068249
Product Key Features
Number of Pages
Xxxiii, 356 Pages
Language
English
Publication Name
Systemverilog Assertions and Functional Coverage : Guide to Language, Methodology and Applications
Subject
Systems Architecture / General, Electronics / Circuits / General, Electronics / General, Logic Design, Computer Engineering
Publication Year
2013
Type
Textbook
Subject Area
Computers, Technology & Engineering
Format
Hardcover
Dimensions
Item Height
0.3 in
Item Weight
250.3 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
Number of Volumes
1 vol.
Illustrated
Yes
Table Of Content
Introduction.- System Verilog Assertions.- Immediate Assertions.- Concurrent Assertions - Basics (sequence, property, assert).- Sampled Value Functions $rose, $fell.- Operators.- System Functions and Tasks.- Multiple clocks.- Local Variables.- Recursive property.- Detecting and using endpoint of a sequence.- 'expect'.- 'assume' and formal (static functional) verification.- Other important topics.- Asynchronous Assertions !!!.- IEEE-1800-2009 Features.- SystemVerilog Assertions LABs.- System Verilog Assertions - LAB Answers.- Functional Coverage.- Performance Implications of coverage methodology.- Coverage Options (Reference material).
Synopsis
This book provides a hands-on, application-oriented guide to the language and methodology of both SystemVerilog Assertions and SytemVerilog Functional Coverage. Readers will benefit from the step-by-step approach to functional hardware verification, which will enable them to uncover hidden and hard to find bugs, point directly to the source of the bug, provide for a clean and easy way to model complex timing checks and objectively answer the question 'have we functionally verified everything'. Written by a professional end-user of both SystemVerilog Assertions and SystemVerilog Functional Coverage, this book explains each concept with easy to understand examples, simulation logs and applications derived from real projects. Readers will be empowered to tackle the modeling of complex checkers for functional verification, thereby drastically reducing their time to design and debug., This book offers a hands-on, application-oriented guide to the language and methodology of SystemVerilog Assertions and SystemVerilog Functional Coverage. Includes easy-to-understand examples, simulation logs and applications derived from real-world projects.
LC Classification Number
TK7867-7867.5
Descripción del artículo del vendedor
Información de vendedor profesional
Números de responsabilidad ampliada del productor (RAP):
Un vendedor tendrá un número de RAP si se ha registrado oficialmente como productor de un determinado tipo de producto y asumido la responsabilidad de gestionar los residuos generados por dicho producto.
Acerca de este vendedor
AlibrisBooks
99,1% de votos positivos•2,0 millones artículos vendidos
Registrado como vendedor profesional
Votos de vendedor (552.777)
- r***g (243)- Votos emitidos por el comprador.Mes pasadoCompra verificadaBook was "nearly new" and "as described" in listing. The advertised price was fair and a good value. Unfortunately, the seller's shipping partner was very slow to get the book packaged and shipped. Shipping took too long, and the tracking info gave no reliable info on shipping date, time in transit or expected delivery. Seller did everything right, but their shipping partner needs improvement. I recommend this seller to other eBay buyers....... just make sure you're okay with the shipping terms.
- e***u (283)- Votos emitidos por el comprador.Mes pasadoCompra verificadaThe listing was for a hardcover version of this book; however, I received a paperback. The Seller replied quickly to my question about this issue and issued a full refund - and let me keep the book. So, a diligent Seller for sure - and well packaged and reasonable timing on shipping. Thank you for the refund, and as you suggested, I'll likely donate this volume and seek the hardcover.
- e***n (392)- Votos emitidos por el comprador.Últimos 6 mesesCompra verificadaGreat transaction, exactly as described, packed well, and promptly shipped on August 6th. Unfortunately the U.S. Postal Service took 23 calendar days to deliver the book. It was shipped from Pennsylvania, to Atlanta, past Alabama to Texas, enjoyed several days in Texas, then to Minneapolis, Jacksonville, Florida, back to Atlanta, finally to Birmingham, and Huntsville. The seller was very responsive and I decided it was interesting to see if/how the book would arrive. Thanks, JoeDrumsville!: The Evolution of the New Orleans Beat by Robert Cataliotti: Used (#405155037686)

