DESIGN VERIFICATION WITH E

The book presents a logical progression of e-based topics. It starts with the basics, such as functional verification methodologies, e basics and then gradually builds on to bigger examples and eventually reaches advanced topics, such as coverage driven functional verification, re-usable verification components and C/Cplusplus Interface. Thus, the book is useful to e users with varying levels of expertise.