Customer Reviews

Logic Synthesis and Verification Algorithms

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

 

 

This book is good. It covers all the fundamentals needed to learn two level and multi level logic synthesis and verification.

It's a good stepping stone for those readers wanting to delve more into the IEEE publications area later on in their careers when implementing new algorithms for logic synthesis.

The book covers most of the fundamental aspects of logic synthesis and verification algorithms commonly implemented in the popular CAD tools. However, the book is poorly written and full of typos. One may constantly wonder what is going on until he reads the material like the 2nd or 3rd times and guess his way through. Sadly, there is rarely a better book in the CAD field, so even though the book is not very well written the material presented is still worth reading especially for any serious readers working in the field of logic synthesis.

This is a very readable book that includes many helpful examples and exercises.
Hachtel's exposition is rigorous and Logic Synthesis and Verification Algorithmscrystal clear.

I had the oppurtunity to study this book in my graduate study. I think it is a well-written book, which has a substantial coverage of the field of logic synthesis and verification. I would highly recommend this book to advanced readers and those who are mathematically inclined. The expertise of the authors is reflected in the content of the book, and this can be fully appreciated by the readers having the qualifications mentioned above.