Skip to content

Symbolic Simulation Methods for Industrial Formal Verification
Stock Photo: Cover May Be Different

Symbolic Simulation Methods for Industrial Formal Verification Paperback - 2012

by Robert B. Jones


From the publisher

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 for high-level descriptions of designs.

The book contains three main topics:

  • Self consistency, a technique for deriving a formal specification of design behavior from the design itself;
  • The use of the parametric representation to encode predicates as functional vectors for symbolic simulation, an important step in addressing the state-explosion problem;
  • Incremental flushing, a method used to verify high-level descriptions of out-of-order execution.
Symbolic Simulation Methods for Industrial Formal Verification concludes with work on verification of simplified models of out-of-order processors

Details

  • Title Symbolic Simulation Methods for Industrial Formal Verification
  • Author Robert B. Jones
  • Binding Paperback
  • Edition Softcover reprin
  • Pages 151
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2012-10-23
  • ISBN 9781461353959 / 1461353955
  • Weight 0.55 lbs (0.25 kg)
  • Dimensions 9.21 x 6.14 x 0.37 in (23.39 x 15.60 x 0.94 cm)
  • Dewey Decimal Code 006
Back to Top

More Copies for Sale

Symbolic Simulation Methods for Industrial Formal Verification

Symbolic Simulation Methods for Industrial Formal Verification

by Robert B. Jones

  • New
Condition
New
ISBN 10 / ISBN 13
9781461353959 / 1461353955
Quantity Available
958
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£100.25
£7.99 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Symbolic Simulation Methods for Industrial Formal Verification.
Item Price
£100.25
£7.99 shipping to USA
Symbolic Simulation Methods for Industrial Formal Verification
Stock Photo: Cover May Be Different

Symbolic Simulation Methods for Industrial Formal Verification

by Robert B. Jones

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781461353959 / 1461353955
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£103.98
£9.95 shipping to USA

Show Details

Description:
Paperback / softback. New. 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.
Item Price
£103.98
£9.95 shipping to USA
Symbolic Simulation Methods for Industrial Formal Verification
Stock Photo: Cover May Be Different

Symbolic Simulation Methods for Industrial Formal Verification

by Jones, Robert B.

  • Used
  • Good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9781461353959 / 1461353955
Quantity Available
1
Seller
Newport Coast, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£119.39
FREE shipping to USA

Show Details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
£119.39
FREE shipping to USA