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.
Format: Paperback / softback
CONTRIBUTORS: Robert B. Jones
EAN: 9781461353959
COUNTRY: United States
PAGES:
WEIGHT: 273 g
HEIGHT: 235 cm
PUBLISHED BY: Springer-Verlag New York Inc.
DATE PUBLISHED: 2012-10-23
CITY:
GENRE: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Design, Graphics & Media / CAD-CAM, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General
WIDTH: 155 cm
SPINE:
Book Themes:
Electrical engineering, Electronics: circuits and components, Computer-aided design (CAD), Artificial intelligence
