The e Hardware Verification Language

• Main Authors: Iman, Sasan (Author), Joshi, Sunita (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2004.
• Subjects: Computer science.; Computers.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Computer Science.; Theory of Computation.; Circuits and Systems.; Electrical Engineering.; Computer-Aided Engineering (CAD, CAE) and Design.

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (eRM). The main goal of verification is, after all, finding more bugs quicker using given resources, and verification reuse (module-to-system, old-system-to-new-...

Table of Contents:

• Verification Methodologies and Environment Architecture
• Verification Methodologies
• Anatomy of a Verification Environment
• All About e
• e as a Programming Language
• e as a Verification Language
• Topology and Stimulus Generation
• Generator Operation
• Data Modeling and Stimulus Generation
• Sequence Generation
• Response Collection, Data Checking, and Property Monitoring
• Temporal Expressions
• Messages
• Collectors and Monitors
• Scoreboarding
• Coverage Modeling and Measurement
• Coverage Engine
• Coverage Modeling
• e Code Reuse
• e Reuse Methodology
• si_util Package.