Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging...
Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (i.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity. This is the first book that presents an 'under-the-hood' view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement. more
- Price Range:$125.13 to $129.00 | 2 stores
- Info:
- Tags:
ComparePrices
| title,desc | merchant | price | seeit |
|---|---|---|---|
|
Smarter Choice
Zeljko Zilic, Marc Boule / 2008 / 279 pages Books |
|
|
See it |
|
Generating Hardware Assertion...
Pages: 280, Edition: 1, Hardcover, Springer |
|
See it |
*Shipping costs are based on an estimate of the lowest shipping rate available within the contiguous US, excluding Alaska and Hawaii. Only merchants with this product in stock are listed (Merchants with this product back ordered have been removed from this list).
Do you see a pricing error? Please let us know by filling out a simple form: Click here
SimilarProducts
-
Cloud Application Architectures: Building Applications and Infrastructure in the Cloud (Theory in Practice (O'Reilly))
-
Head First Design Patterns (Head First)
-
Computer Networking: A Top-Down Approach (5th Edition)
-
The Mythical Man-Month: Essays on Software Engineering, 20th Anniversary Edition
-
Pattern Recognition and Machine Learning (Information Science and Statistics)
-
WPF Control Development Unleashed: Building Advanced User Experiences
-
97 Things Every Software Architect Should Know
-
Domain-Driven Design: Tackling Complexity in the Heart of Software
-
Real World Java EE Patterns Rethinking Best Practices
-
Absolute Beginner's Guide to Computer Basics (4th Edition) (Absolute Beginner's Guide)









