Introduction to Formal Hardware Verification
||Author: Thomas Kropf|
List Price: $59.95
Our Price: Click to see the latest and low price
Publisher: Springer Verlag (January, 2000)
Sales Rank: 252,142
Average Customer Rating: 5 out of 5
Customer ReviewsRating: 5 out of 5
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.
Rating: 5 out of 5
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.
· Timing Verification of Application-Specific Integrated Circuits (ASICs)
· Model Checking
· Design Verification with e
· Assertion-Based Design