Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,981,580 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
22 relations
And-inverter graph
Binary decision diagram
Boolean satisfiability problem
Circuit extraction
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Combinational techniques for sequential equivalence checking
H. Savoj
,
David Berthelot
,
A. Mishchenko
,
R. Brayton
Formal Methods in Computer-Aided Design
2010
Corpus ID: 13349623
Often sequential logic synthesis can lead to substantially easier verification problems, compared to the general-case for…
Expand
Review
2009
Review
2009
Power Reduction Techniques and Flows at RTL and System Level
Anmol Mathur
,
Qi Wang
International Conference on VLSI Design
2009
Corpus ID: 38612621
Power reduction is becoming a critical design criterion for ASIC/SOC designers. Reducing both dynamic and leakage power is…
Expand
2009
2009
SEChecker: A Sequential Equivalence Checking Framework Based on ${K}$th Invariants
Feng Lu
,
K. Cheng
IEEE Transactions on Very Large Scale Integration…
2009
Corpus ID: 5060425
In recent years, considerable research efforts have been devoted to utilizing circuit structural information to improve the…
Expand
2005
2005
Sequential equivalence checking based on k-th invariants and circuit SAT solving
Feng Lu
,
K. Cheng
Tenth IEEE International High-Level Design…
2005
Corpus ID: 15468063
In this paper, we first present the concept of the k-th invariant. In contrast to the traditional invariants that hold for all…
Expand
2002
2002
Self-referential verification for gate-level implementations of arithmetic circuits
Ying-Tsai Chang
,
K. Cheng
IEEE Transactions on Computer-Aided Design of…
2002
Corpus ID: 10644078
Verification of gate-level implementations of arithmetic circuits is challenging for a number of reasons: the existence of some…
Expand
Highly Cited
2000
Highly Cited
2000
Testing, verification, and diagnosis in the presence of unknowns
Ankur Jain
,
V. Boppana
,
R. Mukherjee
,
J. Jain
,
M. Fujita
,
M. Hsiao
Proceedings of the ... IEEE VLSI Test Symposium
2000
Corpus ID: 32565781
Improvement of the accuracy of error and fault diagnosis as well as ATPG for IP-based designs are important problems in industry…
Expand
2000
2000
AQUILA: An Equivalence Checking System for Large Sequential Designs
Shi-Yu Huang
,
K. Cheng
,
Kuang-Chien Chen
,
C. Huang
,
F. Brewer
IEEE Trans. Computers
2000
Corpus ID: 9625807
In this paper, we present a practical method for verifying the functional equivalence of two synchronous sequential designs. This…
Expand
1996
1996
XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems
D. Clarke
,
H. Ben-Abdallah
,
Insup Lee
,
Hong-liang Xie
,
O. Sokolsky
International Conference on Computer Aided…
1996
Corpus ID: 40943830
We present XVERSA, a set of tools for the specification and analysis of resource-bound real-time systems. XVERSA facilitates the…
Expand
1995
1995
Probabilistic manipulation of Boolean functions using free Boolean diagrams
Amelia Shen
,
S. Devadas
,
Abhijit Ghosh
IEEE Trans. Comput. Aided Des. Integr. Circuits…
1995
Corpus ID: 6454717
We propose a data structure for Boolean functions termed "the free Boolean diagram." A free Boolean diagram allows decision…
Expand
1990
1990
Tools for Testing Object-oriented Programs 1
P. Frankl
,
Roong-Ko Doong
1990
Corpus ID: 14362723