Title :
Iterative OPDD based signal probability calculation
Author :
Dutta, Avijit ; Touba, Nur A.
Author_Institution :
Comput. Eng. Res. Center, Texas Univ., Austin, TX
Abstract :
This paper presents an improved method to accurately estimate signal probabilities using ordered partial decision diagrams (OPDDs) [Kodavarti 93] for partial representation of the functions at the circuit lines. OPDDs which are limited to a certain maximum number of nodes are built iteratively with different variable orderings to efficiently explore different regions of the function. Signal probability bounds (upper and lower) are computed from the OPDDs. From each OPDD, information is extracted to tighten the signal probability bound and guide the variable ordering for the next OPDD. By restricting the size of each OPDD to a small number of nodes, they can be constructed and processed quickly to obtain a fast and accurate estimate of signal probabilities. Experimental results demonstrate the effectiveness of the approach compared with existing methods
Keywords :
decision diagrams; estimation theory; iterative methods; circuit lines; iterative OPDD; ordered partial decision diagrams; signal probability bound; signal probability calculation; Binary decision diagrams; Circuit faults; Circuit testing; Combinational circuits; Data mining; Electrical fault detection; Fault detection; Probability; Signal processing; Single event upset;
Conference_Titel :
VLSI Test Symposium, 2006. Proceedings. 24th IEEE
Conference_Location :
Berkeley, CA
Print_ISBN :
0-7695-2514-8
DOI :
10.1109/VTS.2006.43
