Creating Assertion-Based IP

by Adam C. Krolnik and Harry D. Foster

Book Overview

This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning, and also demonstrates effective use of assertions languages beyond the traditional language construct discussions

Note that there many books published on assertion languages (such as SystemVerilog assertions and PSL). Yet, none of them discuss...

• Format: Paperback
• Language: English
• ISBN: 1441942181
• ISBN13: 9781441942180
• Release Date: November 2010
• Publisher: Springer
• Length: 318 Pages
• Weight: 1.04 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"