Hardware Equivalence Checking

Hardware Equivalence Checking is a formal verification method that belongs to the class of equivalence checking techniques, specifically designed to determine whether two hardware designs exhibit identical input-output behavior under all permissible operating conditions.

141

Publications

Citations

314

Authors

116

Institutions

Publications per year

2017–2026

Parents

Equivalence Checking

Publications

141

Symbolic model checking using SAT procedures instead of BDDs

Armin Biere, Alessandro Cimatti, E. M. Clarke et al. · 1999 · 697 citations

Computing, Computer Engineering, Computer Science +16

Symbolic model checking using SAT procedures instead of BDDs

A. Biere, A. Cimatti, E.M. Clarke et al. · Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) · 2003 · 154 citations

Computing, Computer Engineering, Computer Science +16

Formal verification of a pipelined microprocessor

Mandayam Srivas, Mark Bickford · IEEE Software · 1990 · 118 citations

Computing, Computer Engineering, Computer Science +17

Challenges and Trends in Modern SoC Design Verification

Wen Chen, Sandip Ray, Jayanta Bhadra et al. · IEEE Design and Test · 2017 · 107 citations

Engineering, Computer Engineering, Computer Science +17

Boolean Comparison of Hardware and Flowcharts

Gordon L. Smith, Ralph J. Bahnsen, H. F. Halliwell · IBM Journal of Research and Development · 1982 · 105 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 141

Authors

314

KC
Kwang‐Ting Cheng
University of California, Santa Barbara, United States
6 publications · 148 citations
6
h-index
SR
Sandip Ray
University of Florida, United States
6 publications · 207 citations
6
h-index
MF
Masahiro Fujita
The University of Tokyo, Japan
5 publications · 786 citations
5
h-index
MS
Magdy S. Abadir
University of California, Santa Barbara, United States
5 publications · 228 citations
5
h-index
KH
Kecheng Hao
Portland State University, United States
5 publications · 100 citations
5
h-index

1–5 of 314

Institutions

116

1–8 of 116

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
9 publications · 348 citations
9
h-index
International Conference on Computer Aided Design
Conference · 4 publications · 86 citations
4
h-index
Proceedings - ACM IEEE Design Automation Conference
4 publications · 101 citations
4
h-index
Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design
ICCAD · 3 publications · 91 citations
3
h-index
IEEE Design & Test of Computers
3 publications · 59 citations
3
h-index

1–5