Bild 1 von 1
Galerie
Bild 1 von 1
Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology
AlibrisBooks
(497686)
Gewerblich
US $188,13
Ca.EUR 163,41
Artikelzustand:
- Sofort-KaufenSystemverilog Assertions and Functional Coverage: Guide to Language, Methodology
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos Standard Shipping.
Standort: Sparks, Nevada, USA
Lieferung:
Lieferung zwischen Fr, 28. Nov und Mi, 3. Dez nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
- Gratis Rückversand im Inland
- Punkte für jeden Kauf und Verkauf
- Exklusive Plus-Deals
Info zum Artikel
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:403375269915
Artikelmerkmale
- Artikelzustand
- Book Title
- Systemverilog Assertions and Functional Coverage: Guide to Langua
- Publication Date
- 2013-08-06
- Pages
- 356
- ISBN
- 9781461473237
Über dieses Produkt
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
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
EPR-Nummern (Extended Producer Responsibility):
Ein Verkäufer hat eine EPR-Nummer, wenn er sich bei der zuständigen Behörde als Hersteller einer bestimmten Art von Produkt angemeldet hat und die Verantwortung für die Entsorgung des durch dieses Produkt entstehenden Abfalls übernommen hat.
Info zu diesem Verkäufer
AlibrisBooks
99,1% positive Bewertungen•2,0 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (552.783)
- r***g (243)- Bewertung vom Käufer.Letzter MonatBestätigter KaufBook 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)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThe 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)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufGreat 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 (Nr. 405155037686)
Noch mehr entdecken:
- Sachbuch-Rough-Guides Bücher,
- Sachbuch Insight Guides Bücher,
- Englische Bücher Sachbuch-Rough-Guides,
- Englische Bücher Insight-Guides-Sachbuch,
- Bücher über Bücher Sachbuch-Rough-Guides,
- Insight-Guides-Taschenbuch-Sachbuch Bücher,
- Reisen-Sachbuch-Rough-Guides Bücher,
- Taschenbuch-Sachbuch-Rough-Guides Bücher,
- Bücher Sachbuch-Rough-Guides Ab 2010,
- Bücher Insight-Guides-Sachbuch Ab 2010
AlibrisBooks
99,1% positive Bewertungen•2,0 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (552.783)
- r***g (243)- Bewertung vom Käufer.Letzter MonatBestätigter KaufBook 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)- Bewertung vom Käufer.Letzter MonatBestätigter KaufThe 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)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufGreat 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 (Nr. 405155037686)