Free Delivery Over $100
|
|
|||
|
||||
OverviewAssertion-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. Full Product DetailsAuthor: Marc Boule , Zeljko ZilicPublisher: Springer Imprint: Springer ISBN: 9781281492302ISBN 10: 1281492302 Pages: 279 Publication Date: 01 January 2008 Audience: General/trade , General Format: Undefined Publisher's Status: Active Availability: In stock  We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
