Free Delivery Over $100
|
|
|||
|
||||
OverviewThe first edition of this text offered a common sense method for simplifying and unifying assertion specification by creating a set of pre-defined specification modules that could be instantiated within the designer's RTL. Since the release of the first edition, an entire industry-wide initiative for assertion specification has emerged based on ideas presented in the first edition. This initiative is known as the Open Verification Library Initiative. This standard enables the design engineer to specify once, then target the same RTL assertion specification over multiple verification processes, such as traditional simulation, semi-formal and formal verification tools. The Open Verification Library Initiative is an empowering technology that should benefit design and verification engineers while providing unity to the EDA community. The second edition of Principles of Verifiable RTL Design expands the discussion of assertion specification. Full Product DetailsAuthor: Lionel Bening , Harry Foster, PH.Publisher: Springer Imprint: Springer Edition: 2nd ISBN: 9781280205897ISBN 10: 128020589 Pages: 281 Publication Date: 01 January 2001 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 |
||||
