Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Formal equivalence checking

Known as: Equivalence checking 
Formal equivalence checking process is a part of electronic design automation (EDA), commonly used during the development of digital integrated… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Thank you for downloading formal equivalence checking and design debugging. Maybe you have knowledge that, people have search… Expand
Is this relevant?
2016
2016
Many companies struggle with large amounts of legacy software that is difficult to maintain and to extend. Refactoring legacy… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2013
Highly Cited
2013
We present a data driven algorithm for equivalence checking of two loops. The algorithm infers simulation relations using data… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2006
Highly Cited
2006
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean… Expand
  • figure 1
  • figure 3
  • table 1
  • table 3
  • table 2
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Many tasks in computer-aided design (CAD), such as equivalence checking, property checking, logic synthesis, and false paths… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2000
Highly Cited
2000
  • C. A. J. van Eijk
  • IEEE Trans. on CAD of Integrated Circuits and…
  • 2000
  • Corpus ID: 10461953
Checking the functional equivalence of sequential circuits is an important practical problem. Because general algorithms for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In this paper, we study the application of propositional decision procedures in hardware verification. In particular, we apply… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Foreword. Preface. 1. Introduction. Part I: Equivalence Checking. 2. Symbolic Verification. 3. Incremental Verification for… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Because general algorithms for sequential equivalence checking require a state space traversal of the product machine, they are… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?