Creating Assertion-Based IP

by Adam C. Krolnik and Harry D. Foster

Book Overview

A project's functional verification testplan is the specification for the verification process. Developing this testplan usually involves the entire engineering team (architects, designers, and verification engineers). This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. This is the first book published on this subject. It demonstrates a systematic process for formal specification...

• 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"