Mining Unreachable Cross-Timeframe State-Pairs for Bounded Sequential Equivalence Checking

2008 Ninth International Workshop on Microprocessor Test and Verification ◽

10.1109/mtv.2008.23 ◽

2008 ◽

Author(s):

Lynn C.-L. Chang ◽

Charles H.-P. Wen

Keyword(s):

Equivalence Checking ◽

Sequential Equivalence Checking

Download Full-text

Sufficiency-based filtering of invariants for Sequential Equivalence Checking

2011 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2011.6114159 ◽

2011 ◽

Cited By ~ 1

Author(s):

Wei Hu ◽

Huy Nguyen ◽

Michael S. Hsiao

Keyword(s):

Equivalence Checking ◽

Sequential Equivalence Checking

Download Full-text

Mining Complex Boolean Expressions for Sequential Equivalence Checking

2010 19th IEEE Asian Test Symposium ◽

10.1109/ats.2010.81 ◽

2010 ◽

Cited By ~ 7

Author(s):

Neha Goel ◽

Michael S. Hsiao ◽

Narendran Ramakrishnan ◽

Mohammed J. Zaki

Keyword(s):

Equivalence Checking ◽

Mining Complex ◽

Sequential Equivalence Checking ◽

Boolean Expressions

Download Full-text

Application specified soft-error failure rate analysis using sequential equivalence checking techniques

Tsinghua Science & Technology ◽

10.26599/tst.2018.9010136 ◽

2020 ◽

Vol 25 (1) ◽

pp. 103-116

Author(s):

Tun Li ◽

Qinhan Yu ◽

Hai Wan ◽

Sikun Li

Keyword(s):

Failure Rate ◽

Soft Error ◽

Equivalence Checking ◽

Rate Analysis ◽

Sequential Equivalence Checking

Download Full-text

Sequential equivalence checking based on structural similarities

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.851997 ◽

2000 ◽

Vol 19 (7) ◽

pp. 814-819 ◽

Cited By ~ 55

Author(s):

C.A.J. van Eijk

Keyword(s):

Equivalence Checking ◽

Sequential Equivalence Checking

Download Full-text

Sequential Equivalence Checking by Symbolic Simulation

Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science ◽

10.1007/3-540-40922-x_26 ◽

2000 ◽

pp. 460-479 ◽

Cited By ~ 1

Author(s):

Gerd Ritter

Keyword(s):

Equivalence Checking ◽

Symbolic Simulation ◽

Sequential Equivalence Checking

Download Full-text

Sequential equivalence checking

19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design (VLSID'06) ◽

10.1109/vlsid.2006.145 ◽

2006 ◽

Cited By ~ 1

Author(s):

A. Mathur ◽

M. Fujita ◽

M. Balakrishnan ◽

R. Mitra

Keyword(s):

Equivalence Checking ◽

Sequential Equivalence Checking

Download Full-text

Sequential equivalence checking based on k-th invariants and circuit SAT solving

Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. ◽

10.1109/hldvt.2005.1568812 ◽

2006 ◽

Cited By ~ 9

Author(s):

F. Lu ◽

K.-T. Cheng

Keyword(s):

Equivalence Checking ◽

Sat Solving ◽

Sequential Equivalence Checking

Download Full-text

Using range-equivalent circuits for facilitating bounded sequential equivalence checking

2018 International Symposium on VLSI Design, Automation and Test (VLSI-DAT) ◽

10.1109/vlsi-dat.2018.8373231 ◽

2018 ◽

Author(s):

Yung-Chih Chen ◽

Wei-An Ji ◽

Chih-Chung Wang ◽

Ching-Yi Huang ◽

Chia-Cheng Wu ◽

...

Keyword(s):

Equivalence Checking ◽

Equivalent Circuits ◽

Sequential Equivalence Checking

Download Full-text

A unified sequential equivalence checking approach to verify high-level functionality and protocol specification implementations in RTL designs

2014 15th Latin American Test Workshop - LATW ◽

10.1109/latw.2014.6841905 ◽

2014 ◽

Author(s):

Carlos Ivan Castro Marquez ◽

Marius Strum ◽

Wang Jiang Chau

Keyword(s):

Equivalence Checking ◽

Protocol Specification ◽

High Level ◽

Sequential Equivalence Checking

Download Full-text

Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces

2006 IEEE International High Level Design Validation and Test Workshop ◽

10.1109/hldvt.2006.319985 ◽

2006 ◽

Cited By ~ 1

Author(s):

In-ho Moon ◽

Per Bjesse ◽

Carl Pixley

Keyword(s):

Equivalence Checking ◽

Don't Cares ◽

Sequential Equivalence Checking

Download Full-text