The e Hardware Verification Language

• Κύριοι συγγραφείς: Iman, Sasan (Συγγραφέας), Joshi, Sunita (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2004.
• Θέματα: 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-...

Πίνακας περιεχομένων:

• 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.