Symbolic Simulation Methods for Industrial Formal Verification by Robert B. Jones 9781402071034

Name: Symbolic Simulation Methods for Industrial Formal Verification by Robert B. Jones 9781402071034
SKU: 9781402071034
Price: 175.77 AUD
Availability: InStock

No reviews yet Write a Review

Booksplease Price: $175.77

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:: 9781402071034
UPC:
MPN:

Available from Booksplease!

Global delivery available

Availability: Usually dispatched within 4 working days

Ask Questions

Frequently Bought Together:

Symbolic Simulation Methods for Industrial Formal Verification by Robert B. Jones 9781402071034

Booksplease Price: $175.77

Total: Inc. VAT

Total: Ex. VAT

Description
Reviews

Description

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.

Book Information
ISBN 9781402071034
Author Robert B. Jones
Format Hardback
Page Count 151
Imprint Springer-Verlag New York Inc.
Publisher Springer-Verlag New York Inc.
Weight(grams) 930g

Reviews

No reviews yet Write a Review

Related Titles

Symbolic Simulation Methods for Industrial Formal Verification by Robert B. Jones 9781461353959

RRP: $175.48

Booksplease Price: $175.19

Add to Cart

Symbolic Algebraic Methods and Verification Methods by Goltz Alefeld 9783211835937

Booksplease Price: $89.54

The usual usual "implementation" "implementation" ofreal numbers as floating point numbers on exist- iing ng computers computers has the well-known disadvantage that most of the real numbers are not...

Add to Cart

Scalable Hardware Verification with Symbolic Simulation by Valeria Bertacco 9780387244112

Booksplease Price: $190.36

Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification...

Add to Cart

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs by Vladimir Herdt 9783658126797

Booksplease Price: $89.54

In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-terminating) SystemC programs. The approach...

Add to Cart

Scalable Hardware Verification with Symbolic Simulation by Valeria Bertacco 9781441937391

Booksplease Price: $156.16

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and...

Add to Cart

Booksplease Reviews

Fast and efficient way to choose and receive books

This is my second experience using Booksplease. Both orders dealt with very quickly and despatched. Now waiting for my next read to drop through the letterbox.

J - United Kingdom

Will definitely use again!

Great experience and I have zero concerns. They communicated through the shipping process and if there was any hiccups in it, they let me know. Books arrived in perfect condition as well as being fairly priced. 10/10 recommend. I will definitely shop here again!

T - United States

The shipping was just superior

The shipping was just superior; not even one of the books was in contact with the shipping box -anywhere-, not even a corner or the bottom, so all the books arrived in perfect condition. The international shipping took around 2 weeks, so pretty great too.

R - Spain

Found a hard to get book…

Finding a hard to get book on Booksplease and with it not being an over inflated price was great. Ordering was really easy with updates on despatch. The book was packaged well and in great condition. I will certainly use them again.

J - United Kingdom

Recently Viewed

Symbolic Simulation Methods for Industrial Formal Verification by Robert B. Jones 9781402071034

Frequently Bought Together:

Description

Goodreads reviews

Reviews