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
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
|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|
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.
Related Best Sellers
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...
By The Law Society
ean: 9781853286759, isbn: 1853286753,
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...
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...
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...
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...
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 ...
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...
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...