loading...
Fast Computation of Data Correlation Using BDDs
Munich, Germany March 03-March 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10133Design, Automation and Test in Europe ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Zhihong Zeng, Avery Design Systems, Inc.
Qiushuang Zhang, University of Massachusetts at Amherst
Ian Harris, University of Massachusetts at Amherst
Maciej Ciesielski, University of Massachusetts at Amherst
Data correlation is a well-known problem that causes difficulty in VLSI testing. Based on a correlation metric, an efficient heuristic to select BIST registers has been proposed in the previous work. However, the computation of data correlation itself was a computational intensive process and became a bottleneck in the previous work. This paper presents an efficient technique to compute data correlation using Binary Decision Diagrams (BDDs). Once a BDD is built, our algorithms take linear time to compute the corresponding data correlation. The experimental results show that this technique is much faster than the previous technique based on simulation. It enables testing approaches based on data correlation to handle more practical designs. As one of the successful applications, partial scan is demonstrated by integrating our computation results.
Citation:
Zhihong Zeng, Qiushuang Zhang, Ian Harris, Maciej Ciesielski, "Fast Computation of Data Correlation Using BDDs," date, vol. 1, pp.10122, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions