Formal Equivalence Checking and Design Debugging Daniel W There is a recognized need 9781402047152 There is a recognized need to expand and improve biomarker identi Jahrhundert nach Christus abgedruckt This book is timely for either the designer seeking to better understand the mechanics of equivalence checking or for the CAD researcher who wishes to investigate well motivated research problems such as equivalence checking of retimed designs or error diagnosis in sequential circuits Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging