Symbolic Simulation Methods for Industrial Formal Verification

by Robert B. Jones

Book Overview

Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates. The second approach is applied at a high-level of abstraction and is used...

• Format: Paperback
• Language: English
• ISBN: 1461353955
• ISBN13: 9781461353959
• Release Date: October 2012
• Publisher: Springer
• Length: 151 Pages
• Weight: 0.55 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"