Constraint-Based Verification

• Κύριοι συγγραφείς: Yuan, Jun (Συγγραφέας), Pixley, Carl (Συγγραφέας), Aziz, Adnan (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2006.
• Θέματα: Engineering.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.; Electrical Engineering.

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal method...

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

• Constrained Random Simulation
• High Level Verification Languages
• Assertion Languages and Constraints
• Preliminaries
• Constrained Vector Generation
• Constraint Simplification
• More Optimizations
• Constraint Synthesis
• Constraint Diagnosis
• Word-Level Constraint Solving.