Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology

AlibrisBooks
(497681)
Vendedor profesional
Registrado como vendedor profesional
USD188,13
Aproximadamente163,41 EUR
Estado:
Nuevo
Respira tranquilidad. Se aceptan devoluciones.
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
Calculamos el plazo de entrega con un método patentado que combina diversos factores, como la proximidad del comprador a la ubicación del artículo, el servicio de envío seleccionado, el historial de envíos del vendedor y otros datos. Los plazos de entrega pueden variar, especialmente en épocas de mucha actividad.
Devoluciones:
30 días para devoluciones. El comprador paga el envío de la devolución..
Pagos:
    Diners Club

Compra con confianza

Garantía al cliente de eBay
Si no recibes el artículo que has pedido, te devolvemos el dinero. Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña
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
Nuevo: Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin ...
Book Title
Systemverilog Assertions and Functional Coverage: Guide to Langua
Publication Date
2013-08-06
Pages
356
ISBN
9781461473237
Categoría

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
Author
Ashok B. Mehta
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

Certifico que todas mis actividades de venta cumplirán todas las leyes y reglamentos de la UE.
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 positivos2,0 millones artículos vendidos

Se unió el may 2008
Suele responder en 24 horas
Registrado como vendedor profesional
Alibris is the premier online marketplace for independent sellers of new & used books, as well as rare & collectible titles. We connect people who love books to thousands of independent sellers around ...
Ver más
Visitar tiendaContactar

Valoraciones detalladas sobre el vendedor

Promedio durante los últimos 12 meses
Descripción precisa
4.9
Gastos de envío razonables
5.0
Rapidez de envío
5.0
Comunicación
5.0

Votos de vendedor (552.777)

Todas las valoracionesselected
Positivas
Neutras
Negativas
  • r***g (243)- Votos emitidos por el comprador.
    Mes pasado
    Compra verificada
    Book 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 pasado
    Compra verificada
    The 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 meses
    Compra verificada
    Great 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, Joe