Sequential Equivalence Checking

Sequential Equivalence Checking is a formal verification method that belongs to the class of equivalence checking techniques, distinguished by its focus on proving the behavioral equivalence of two sequential circuits or systems across all clock cycles, accounting for temporal dynamics and state retention elements.

Publications

1.9K

Citations

127

Authors

Institutions

Publications per year

2017–2026

Parents

Equivalence Checking

Publications

Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997)

Anish Arora · ACM SIGACT News · 1998 · 110 citations · Full text

Computing, Computer Science, Computer Systems +10

A theory and implementation of sequential hardware equivalence

Carl Pixley · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 102 citations

Engineering, Computer Engineering, Computer Science +17

Sequential equivalence checking based on structural similarities

C.A.J. van Eijk · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2000 · 94 citations

Computing, Computer Engineering, Computer Science +12

On the verification of sequential machines at differing levels of abstraction

Srinivas Devadas, H.-K.T. Ma, A. Richard Newton · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1988 · 85 citations

Computing, Computer Engineering, Computer Science +16

Sequential equivalence checking without state space traversal

C.A.J. van Eijk · 1998 · 81 citations

Computing, Computer Engineering, Computer Science +12

1–5 of 65

Authors

127

KC
Kwang‐Ting Cheng
University of California, Santa Barbara, United States
7 publications · 212 citations
7
h-index
RK
Robert K. Brayton
University of California, Berkeley, United States
6 publications · 106 citations
6
h-index
KC
Kuang-Chien Chen
University of California, Santa Barbara, United States
5 publications · 151 citations
5
h-index
AR
A. Richard Newton
University of California, Berkeley, United States
4 publications · 134 citations
4
h-index
SH
Shi‐Yu Huang
National Tsing Hua University, Taiwan
4 publications · 104 citations
4
h-index

1–5 of 127

Institutions

1–8 of 46

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
8 publications · 400 citations
8
h-index
Proceedings - ACM IEEE Design Automation Conference
2 publications · 42 citations
2
h-index
Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design
Conference · 2 publications · 87 citations
2
h-index
IEEE Transactions on Computers
2 publications · 58 citations
2
h-index
IEEE Design & Test of Computers
2 publications · 54 citations
2
h-index

1–5