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