×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Symbolic Simulation Methods for Industrial Formal Verification
     

Symbolic Simulation Methods for Industrial Formal Verification

by Robert B. Jones
 

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.

Overview

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.

Editorial Reviews

As the problem of buggy computer hardware increases faster than other innovations of design, the solution has been to beef up conventional approaches to formal verification, which entails exhaustive analysis of some aspect of design behavior. Jones, an electrical engineer at Intel, suggests symbolic simulation as a highly effective and somewhat neglected alternative. He admits that the approach does have computational limits, but says they are not as severe in practice as formal verification, and can be used so that performance degrades gracefully rather than hitting hard limits. He emphasizes new ways to use symbolic simulation to verify and debug complex hardware systems. Annotation c. Book News, Inc., Portland, OR

Product Details

ISBN-13:
9781461353959
Publisher:
Springer US
Publication date:
10/28/2012
Edition description:
Softcover reprint of the original 1st ed. 2002
Pages:
151
Product dimensions:
6.10(w) x 9.25(h) x 0.01(d)

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews