ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
Matching in the presence of don't cares and redundant sequential elements for sequential equivalence checking
Eighth IEEE International High-Level Design Validation and Test Workshop
◽
10.1109/hldvt.2003.1252486
◽
2004
◽
Author(s):
S. Rahim
◽
B. Rouzeyre
◽
L. Torres
◽
J. Rampon
Keyword(s):
Equivalence Checking
◽
Don't Cares
◽
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
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close