Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Equivalence Checking and Design Debugging

Formal Equivalence Checking and Design Debugging

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792381846
Condition
New
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.

Available Colors
Available Sizes
1 Offer Price Range: $149.00 - $149.00
BEST PRICE

Single Product Purchase

$149.00
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$149.00 $149.00

$149.00
See Site In stock Visit Store

Similar Products

Gicht und Rheumatismus

$44.99

Comprehensive Healthcare Simulation: Obstetrics and Gynecology

$84.99

Clinical Bioinformatics

$169.99

Der chronische Beckenbodenschmerz

$74.99

Basiswissen Bilanzplanung

$19.99

Prion Diseases

$169.99

Identity Revisited and Reimagined

$129.99

Der Rhein-Nordsee-Kanal

$59.99

From Limnology to Fisheries: Lake Tanganyika and Other Lakes

$169.99

Progress in Artificial Intelligence

$54.99

The NeurIPS '18 Competition

$54.99

So You Want a Meade LX Telescope!

$34.99

Norms, Storytelling and International Institutions in China

$139.99

Citizenship as Cultural Flow

$109.99

Semantic Web Services for Web Databases

$39.99

Environmental Factors and Cultural Measures Affecting The Nitrate Content in Spinach

$54.99

Region und unitarische Struktur in Grobritannien / Regionalism and Unitary Structure in Great Brita

$74.99

Beginning Entity Framework Core 2.0

$39.99

Viable Project Business

$159.99

Biomechanics of Training and Testing

$169.00

Reform der Besteuerung des Einkommens

$74.99

Probability in Social Science

$54.99

Nanotechnology and Plant Sciences

$129.00

Beckett and Philosophy

$54.99

Growth and Development

$84.99

Der Zahlungsverkehr in Deutschland

$59.99

Hermann Abert - Musiker, Musikwissenschaftler, Musikpdagoge

$39.99

Mittelstand und Betriebswirtschaft

$59.99

Dynamic Bifurcations

$34.99

A Concise Introduction to Languages and Machines

$49.95

The Current Status of Cardiac Surgery

$39.99

Mystery in its Passions: Literary Explorations

$84.99

Beitrag zur Untersuchung rotationssymmetrischer Tandemgitter fr berschallstrmung

$49.99

Deep Interior of the Earth

$109.99

Modernist Patterns

$39.99

Intelligent Decision Technologies 2016

$219.99

Critical Insights on Colonial Modes of Seeing Cattle in India (18501980)

$99.00

Die Strahlenwirkung auf das Lymphsystem

$69.99

Elektronische Beschaffung

$34.99

The Power of the International Court to Determine Its Own Jurisdiction

$39.99