Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology
US $188.13
ApproximatelyS$ 246.02
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Standard Shipping.
Located in: Sparks, Nevada, United States
Delivery:
Estimated between Fri, 28 Nov and Wed, 3 Dec to 94104
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
About this item
Seller assumes all responsibility for this listing.
eBay item number:403375269915
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- Book Title
- Systemverilog Assertions and Functional Coverage: Guide to Langua
- Publication Date
- 2013-08-06
- Pages
- 356
- ISBN
- 9781461473237
About this product
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
Item description from the seller
Seller feedback (552,779)
- r***g (243)- Feedback left by buyer.Past monthVerified purchaseBook 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)- Feedback left by buyer.Past monthVerified purchaseThe 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)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat 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)
Seller feedback (552,779)
- r***g (243)- Feedback left by buyer.Past monthVerified purchaseBook 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)- Feedback left by buyer.Past monthVerified purchaseThe 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)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat 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)