Login       My Wishlist
  My Cart
$0.00 / 0 items
EMS Linux
Utilizing the Best Tools With Linux
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Debugging

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

On Sale Now! Save 8% on the Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing) by Brand: Springer at EMS Linux. MPN: black & white illustrations. Hurry! Limited time offer. Offer valid only while supplies last. Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The

Product Description

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

Additional Information

Brand:Brand: Springer
Part Number:black & white illustrations
MPN:black & white illustrations
Item Weight:0.79 pounds
Item Size:0.57 x 9.25 x 9.25 inches
Package Weight:0.86 pounds
Package Size:6.1 x 0.57 x 0.57 inches

Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing) by Brand: Springer

Buy Now:
Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing)

Brand: Brand: Springer
4.1 out of 5 stars with 59 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
You Save: 7%



View More In Debugging.


Have questions about this item, or would like to inquire about a custom or bulk order?

If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers

Post-Silicon Verification and Debugging for C-Based Designs
By Springer
ean: 9781461409311, isbn: 1461409314,
This book describes techniques for how to verify and debug VLSI designs when bugs are found after the chips are fabricated and used in the field.  This is the first book to cover many aspects of post-silicon verification and debugging techniques tha...

Year 2000 Compliance: A Lawyer's Guide to Surviving the Millennium Bug
By The Law Society
ean: 9781853286759, isbn: 1853286753,

Accelerated Windows Debugging 3: Training Course Transcript and Windbg Practice Exercises
By Vostokov Dmitry
mpn: colour illustrations, ean: 9781908043566, isbn: 1908043563,
Learn live local and remote debugging techniques and tricks in kernel, user process and managed .NET spaces using WinDbg debugger. The unique and innovative Debugging 3 course teaches unified debugging patterns applied to real problems from complex s...

Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques (Embedded Systems)
By Springer
ean: 9783319356921, isbn: 3319356925,
This book describes an approach and supporting infrastructure to facilitate debugging the silicon implementation of a System-on-Chip (SOC), allowing its associated product to be introduced into the market more quickly. Readers learn step-by-step the...

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science)
By Pierre Deransart
mpn: Illustrations, ean: 9783540411376, isbn: 3540411372,
Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variabl...

Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings (Lecture Notes in Computer Science)
By Peter A Fritzson
mpn: 1, ean: 9783540574170, isbn: 3540574174,
Debugging has always been a costly part of software development, and many attempts have been made to provide automatic computer support for this task.Automated debugging has seen major develoments over the last decade. Onesuccessful development is al...

Legal Implications of the Millennium Bug - Comparative Law Yearbook of International Business -- (COMPARATIVE LAW YEARBOOK Volume 21a)
By Kluwer Law International
mpn: index, ean: 9789041197764, isbn: 9041197761,
Although the Year 2000 computer problem has to a large extent been solved, some unforeseen malfunctions will undoubtedly continue to occur, due to unforeseen eventualities or improper `fixes'. In the event that damage is caused as a result, who will ...

Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
By Boule Marc Zilic Zeljko
ean: 9789048179220, isbn: 904817922X,
Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correct...

Debugging at the Electronic System Level
By Springer
mpn: biography, ean: 9789400795075, isbn: 9400795076,
Debugging becomes more and more the bottleneck to chip design productivity, especially while developing modern complex integrated circuits and systems at the Electronic System Level (ESL). Today, debugging is still an unsystematic and lengthy process...

Privacy Policy / Terms of Service
© 2019 - emslinux.com. All Rights Reserved.