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

Towards Pan-Africanism

$129.99

Structural Change and Exchange Rate Dynamics

$109.99

Guide to Teaching Computer Science

$44.99

Intelligent Systems and Sustainable Computing

$299.99

Educating Students with Autism Spectrum Disorder in China and Finland

$119.00

Organic Conductors, Superconductors and Magnets: From Synthesis to Molecular Electronics

$329.99

'Der lange Sommer der Revolte'

$59.99

The State Economic Handbook 2008 Edition

$39.99

Navigating Europes Socio-Economic Crisis

$34.99

Computing Science, Communication and Security

$59.99

Bourdieu and Social Movements

$39.99

Automation in Automotive Industries

$139.00

Visual Database Systems 3

$219.99

Cardiovascular Solid Mechanics

$169.99

Treasury of Greek Mythology: Classic Stories of Gods, Goddesses, Heroes and Monsters Book National Geographic Official shopDisney

$24.95

Risk-Averse Optimization and Control

$139.99

The Foreign Policies of the EU's Mediterranean States and Applicant Countries in the 1990's

$84.99

Informal Caregivers: From Hidden Heroes to Integral Part of Care

$79.99

Creativity in the Design Process

$119.99

Erfahrungsorientierte Therapie

$34.99

Wireless and Satellite Systems

$54.99

The Seven Husbands of Evelyn Hugo: A Novel by Taylor Jenkins Reid

$17.00

Business Models for Sustainability Transitions

$169.99

Pocket Guide to Critical Care Pharmacotherapy

$54.99

Individuelle Entscheidungsprozesse: Laborexperimente und Computersimulation

$44.99

Fuzzybasierte Controllinginstrumente

$59.99

Understanding Social Dynamics in South Asia

$109.99

Consumption and Consumer Society

$109.99

Sexualitt, Gender und Religion in gegenwrtigen Diskursen

$49.99

Palgrave Concise Historical Atlas of Central Asia

$89.99

Discourses of Vision in Nineteenth-Century Britain

$49.99

Understanding the Impact of Machine Learning on Labor and Education

$39.99

Digital-Forensics and Watermarking

$39.99

Berufseinstieg und Probezeit aktiv gestalten

$24.99

Learn Data Mining Through Excel

$39.99

Chinese Aid and African Development

$109.99

The Algae World

$299.99

Quality Management and Qualification Needs 1

$39.99

Look for Me There- Grieving My Father, Finding Myself by Luke Russert

$28.99

Frankreich Jahrbuch 2003

$59.99