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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!