Written for both experienced and new users, DesignVerification with e gives you a broadcoverage of e. It stresses the practical verification perspective of e rather than emphasizing only its language aspects.

This book—

* Introduces you to e-based verification methodologies
* Describes e syntax in detail, including structs, units, methods, events, temporal expressions. and TCMs
* Explains the concepts of automatic generation, checking and coverage
* Discusses the e Reuse Methodology
* Describes essential topics such as coverage driven verification, e verification components (eVCs), and interfacing with C/C++
* Illustrates a complete verification example in e
* Contains a quick-reference guide to the e language
* Offers many practical verification tips

Includes over 250 illustrations, examples, andexercises, and a verification resource list. Learning objectives and summariesare provided for each chapter.

http://rapidshare.com/files/39930690/designe.rar

ShareThis