Symbolic Simulation Methods for Industrial Formal Verification
No Customer Reviews
Select Format
Select Condition 
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:Hardcover
Language:English
ISBN:1402071035
ISBN13:9781402071034
Release Date:June 2002
Publisher:Springer
Length:151 Pages
Weight:0.95 lbs.
Dimensions:0.4" x 6.1" x 9.2"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
