Name: formal methods for hardware verification
SKU: 3424853
Price: 1865.00 TWD
Availability: InStock
ISBN: 9783540343042

Select your country

Americas

Europe

Rest of the world

portada formal methods for hardware verification

formal methods for hardware verification

Type

Physical Book

Publisher

Springer

Language

English

Pages

243

ISBN

3540343040

ISBN13

9783540343042

Synopsis "formal methods for hardware verification"

this book presents a set of 8 papers accompanying the lectures of leading researchers given at the 6th edition of the international school on formal methods for the design of computer, communication and software systems, sfm 2006, held in bertinoro, italy in may 2006. sfm 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, bdd-based and sat-based model checking, decision procedures, refinement, theorem proving, and the verification of floating point units.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews