{"product_id":"9780792381846","title":"Frontiers in Electronic Testing","description":"\u003ch1\u003eFrontiers in Electronic Testing\u003c\/h1\u003e \u003ch2\u003eShi-Yu Huang; Kwang-Ting (Tim) Cheng\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eFormal Equivalence Checking and Design Debugging\u003c\/em\u003e covers  two major topics in design verification: logic equivalence checking  and design debugging. The first part of the book reviews the design  problems that require logic equivalence checking and describes the  underlying technologies that are used to solve them. Some novel  approaches to the problems of verifying design revisions after  intensive sequential transformations such as retiming are described in  detail. \u003cbr\u003e  The second part of the book gives a thorough survey of previous and  recent literature on design error diagnosis and design error  correction. This part also provides an in-depth analysis of the  algorithms used in two logic debugging software programs, ErrorTracer  and AutoFix, developed by the authors. \u003cbr\u003e  \u003cem\u003eFrom the Foreword:\u003c\/em\u003e \u003cbr\u003e  `With the adoption of the \u003cem\u003estatic sign-off\u003c\/em\u003e approach to verifying  circuit implementations the application-specific integrated circuit  (ASIC) industry will experience the first radical methodological  revolution since the adoption of logic synthesis. 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.'\u003cbr\u003e  Kurt Keutzer, University of California, Berkeley\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1998-06-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792381846\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-5693-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 229\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":47184595714188,"sku":"9780792381846","price":179.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792381846.jpg?v=1775010476","url":"https:\/\/lateknightbooks.com\/products\/9780792381846","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}