Science/Engineering Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing) (079238184X)

Like Book123?! Give us +1

Author: Shi-Yu Huang, Kwang-Ting (Tim) Cheng
Publisher: Springer
Publish Date: June 30, 1998
ISBN: 079238184X
Pages: 248

Formal Equivalence Checking and Design Debugging 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. 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. From the Foreword: `With the adoption of the static sign-off 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.' Kurt Keutzer, University of California, Berkeley

Rating:
2.5 out of 5 by Book123

Download Links
Server	Status
No download url, please check the above content. Free download from UseNet >> Can not download? Search other download URLs here >> Buy This Book at Best Price >>

Like this article?! Give us +1:

	Technical Advances in Electronic Testing: Challenges and Methodologies (Frontiers in Electronic Testing) ISBN: 0387294082 Publisher: Springer Author: Description:Advances in Electronic Testing: Challenges and Methodologies is a new type of edited volume in the Frontiers in Electronic Testing book series devoted to recent advances in electronic ...
	Technical Power-Constrained Testing of VLSI Circuits (Frontiers in Electronic Testing) ISBN: 140207235X Publisher: Springer Author: Nicola Nicolici, Bashir M. Al-HashimiDescription:Text focuses on the techniques for minimizing power dissipation during test application at logic and register-transfer levels of abstraction of th ...
	High Performance Memory Testing: Design Principles, Fault Modeling and Self-Test (Frontiers in Electronic Testing) Author: R. Dean AdamsPublisher: Springer (2002)Binding: Hardcover, 268 pagespricer: $149.00ISBN-10: 1402072554editorialreviews Based on the author's 20 years of experience in memory design, memory reliability development and memory test. Wr ...
	Science/Engineering New Methods of Concurrent Checking (Frontiers in Electronic Testing) Michael Goessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld "New Methods of Concurrent Checking (Frontiers in Electronic Testing)"Springer \| English \| 2008-05-09 \| ISBN: 1402084196 \| 184 pages \| PDF \| 5,1 MBWritten by a team of tw ...
	Science/Engineering Introduction to Advanced System-on-Chip Test Design and Optimization (Frontiers in Electronic Testing) Erik Larsson "Introduction to Advanced System-on-Chip Test Design and Optimization (Frontiers in Electronic Testing)"Springer (2005-11-07) \| ISBN 1402032072 \| 388 Pages \| PDF \| 5.3 MbTesting of Integrated Circuits is important to ensure the ...
	Technical Emerging Nanotechnologies: Test, Defect Tolerance, and Reliability (Frontiers in Electronic Testing) (Frontiers in Electronic Testing) Author: Publisher: Springer (2007)Binding: Hardcover, 408 pagespricer: $169.00ISBN-10: 038774746XeditorialreviewsEmerging Nanotechnologies: Test, Defect Tolerance and Reliability covers various technologies that have been developing over th ...

Share this page with your friends now!
Text link
Forum (BBCode)
Website (HTML)

DISCLAIMER:

This site does not store Science/Engineering Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing) on its server. We only index and link to Science/Engineering Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing) provided by other sites. Please contact the content providers to delete Science/Engineering Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing) if any and email us, we'll remove relevant links or contents immediately.

Book123

Categories

Share With Friends

Archive by Date

Search Tag

Newest

Useful Links

Science/Engineering Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing)

Related Articles

DISCLAIMER:

Comments (0) All