This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.
Symbolic Simulation Methods for Industrial Formal Verification
📄 Viewing lite version
Full site ›
Book Details
Author(s)Robert B. Jones
PublisherSpringer
ISBN / ASIN1402071035
ISBN-139781402071034
AvailabilityUsually ships in 1 to 3 weeks
Sales Rank4,499,076
MarketplaceUnited States 🇺🇸