Creating Assertion-Based IP (Integrated Circuits and Systems) (by Harry D. Foster, Adam C. Krolnik)


Author(s): Harry D. Foster, Adam C. Krolnik

Publisher: Springer
Publish date: 2007-11-16
ISBN-10: 1841271373
ISBN-13: 9780387366418
Language: English
Description:
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
the important process of testplanning and using these languages
to create verification IP. This is the first book published on
this subject.

Read Source: Creating Assertion-Based IP (Integrated Circuits and Systems) (by Harry D. Foster, Adam C. Krolnik)»

Leave a Reply

Your email address will not be published.