Customer Reviews

Introduction to Formal Hardware Verification

5 star:		(3)
4 star:		(0)
3 star:		(0)
2 star:		(0)
1 star:		(0)

 

 

The book contains the concepts of the most recently researches in the area of formal hardware verification .I read a lot of journal publications, and I couldn't get the expected benefit from most of them, because they assume a high background in formal techniques. This book offers me the basic knowledge, that enable to get complete benefit from the other publications in this topic. The book also contains a lot of illustrative examples, and Figures that follow each section, and this make it easier to the reader.

This was the first book I read in Formal Verification when I started my Ph.D. research in this area in 2001. The book was of great value to me and helped me a lot in coming up to speed in the field of Formal Verification. It is concise, well explained, and comprehensive. It covers formal hardware models, equivalence checking, model checking, symbolic model checking, and theorem proving. Although a lot of advances have happened in formal verification since the publication of this book, I still think it is the best place to start if you want to learn this area.

This book presents each major area in Formal Hardware Verification in a chapter. The treatment is detailed and is based on clear mathematical foundations. I especially like the reachability analysis treatment in Chapter 3. However, I think that one of the weak points of this book is the lack of discussion on different "combinational equivalence checking" techniques.