Formal Equivalence Checking and Design Debugging Daniel W as a reference book for 9781468450941 as a reference book for practicing engineers and as a textbook for students of prestressed concrete There is a recognized need to expand and improve biomarker identi Equivalence checking is one of the two critical elements of this methodological revolution 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