loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
12th Asian Test Symposium (ATS'03)
Equivalence Checking Using Independent Cuts
Xi?an, China
November 16-November 19
ISBN: 0-7695-1951-2
ASCII Text
x 
 
Zhan Xu, Xiaolang Yan, Yongjiang Lu, Haitong Ge, "Equivalence Checking Using Independent Cuts," Asian Test Symposium, pp. 482, 12th Asian Test Symposium (ATS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/ATS.2003.1250864,
author = {Zhan Xu and Xiaolang Yan and Yongjiang Lu and Haitong Ge},
title = {Equivalence Checking Using Independent Cuts},
journal ={Asian Test Symposium},
volume = {0},
year = {2003},
issn = {1081-7735},
pages = {482},
doi = {http://doi.ieeecomputersociety.org/10.1109/ATS.2003.1250864},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asian Test Symposium
TI - Equivalence Checking Using Independent Cuts
SN - 1081-7735
SP
EP
A1 - Zhan Xu,
A1 - Xiaolang Yan,
A1 - Yongjiang Lu,
A1 - Haitong Ge,
PY - 2003
KW - null
VL - 0
JA - Asian Test Symposium
ER -
 
Zhan Xu, Zhejiang University
Xiaolang Yan, Zhejiang University
Yongjiang Lu, Zhejiang University
Haitong Ge, Zhejiang University
With the increase in the complexity of present day systems, proving the correctness of a design has become a major concern. This paper describes a novel implementation of a BDD-based Combinational Equivalence Checking (CEC) tool, which distinguishes from others by one heuristic. It is proposed to select effective cut, with no dependence remaining. In addition, successfully verification of all the ISCAS?85 benchmark circuits demonstrates the efficiency of our approach.
Citation:
Zhan Xu, Xiaolang Yan, Yongjiang Lu, Haitong Ge, "Equivalence Checking Using Independent Cuts," ats, pp.482, 12th Asian Test Symposium (ATS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.