SAT-Based Scalable Formal Verification Solutions

• Κύριοι συγγραφείς: Ganai, Malay K. (Συγγραφέας), Gupta, Aarti (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2007.
• Σειρά: Series on Integrated Circuits and Systems,
• Θέματα: Computer science.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Computer Science.; Computer-Aided Engineering (CAD, CAE) and Design.; Circuits and Systems.; Electrical Engineering.

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and int...