Introduction to Formal Hardware Verification

Rating:
Summary: Book Review
Review: 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.

Rating:
Summary: Book Review
Review: 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.

Rating:
Summary: Excellent book
Review: 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.