Summary and Info
With the chip complexity constantly increasing, the difficulty as well as the importance of functional verification of new product designs has been increased. It is not only more important to get error-free designs. Moreover, it becomes an increasingly difficult task for a team of human designers to carry out a full design without errors. The traditional training of new verification engineers has to be adapted to the new situation. New skills are necessary. For these reasons, nearly all major universities offer lectures on basic verification techniques such as propositional temporal logic, model checking, equivalence checking, and simulation coverage measures. The present book is designed as a textbook covering one of the most important aspects in the verification process &endash; equivalence checking of Boolean circuits. Equivalence Checking of Digital Circuits is a textbook for advanced students in electrical and computer engineering, but is also intended for researchers who will find it useful as a reference text.
More About the Author
Paul Leo Molitor (born August 22, 1956), nicknamed "Molly" and "The Ignitor", is an American former Major League Baseball (MLB) player and current manager of the Minnesota Twins, who is in the Baseball Hall of Fame.
Review and Comments
Rate the Book
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods 0 out of 5 stars based on 0 ratings.