Scalable Techniques for Formal Verification

• Main Author: Ray, Sandip
• Corporate Author: SpringerLink (Online service)
• Format: Electronic Kit Book
• Language: English
• Published: Boston, MA Springer Science+Business Media, LLC 2010
• Subjects: Engineering; Computer aided design; Systems engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design