2004

Equivalence Checking of Digital Circuits

Fundamentals, Principles, Methods

Authors:

ISBN: 978-1-4020-7725-8 (Print) 978-1-4020-2603-4 (Online)

Table of contents (10 chapters)

  1. No Access

    Book Chapter

    Pages 1-6

    Introduction

  2. Fundamentals

    1. No Access

      Book Chapter

      Pages 9-22

      Preliminaries

    2. No Access

      Book Chapter

      Pages 23-65

      Representation of Boolean and Pseudo Boolean Functions

  3. Equivalence Checking of Combinational Circuits

    1. No Access

      Book Chapter

      Pages 71-97

      Use of Canonical Data Structures

    2. No Access

      Book Chapter

      Pages 99-130

      SAT and ATPG Based Equivalence Checking

    3. No Access

      Book Chapter

      Pages 131-143

      Exploiting Similarities

    4. No Access

      Book Chapter

      Pages 145-167

      Checking Equivalence for Partial Implementations

    5. No Access

      Book Chapter

      Pages 169-204

      Permutation Independent Boolean Comparison

  4. Equivalence Checking of Sequential Circuits

    1. No Access

      Book Chapter

      Pages 209-226

      Formal Basics

    2. No Access

      Book Chapter

      Pages 227-239

      The Latch Correspondence Problem