Skip to main content alibris logo
Creating Assertion-Based IP - Foster, Harry D, and Krolnik, Adam C
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

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 is the first book published on this subject.

loading
Creating Assertion-Based IP 2010, Springer, New York, NY

ISBN-13: 9781441942180

Trade paperback

Creating Assertion-Based IP 2008, Springer

ISBN-13: 9780387515212

Hardcover

Creating Assertion-Based IP 2007, Springer, New York, NY

ISBN-13: 9780387366418

2008 edition

Hardcover