Abstract
We present a symbolic-event-propagation-based scheme to generate hazard-free tests for robust path delay faults. This approach identifies all robustly testable paths in a circuit and the corresponding complete set of test vectors. We address the problem of finding a minimal set of test vectors that covers all robustly testable paths. We propose greedy and simulated-annealing-based algorithms to find the same. Results on ISCAS89 benchmark circuits show a considerable reduction in test vectors for covering all robustly testable paths.
- Bhattacharya, D., Agrawal, P., and Agrawal, V. 1995. Test generation for path delay faults using binary decision diagrams. IEEE Trans. Comput. 44, 3, 434--447. Google ScholarDigital Library
- Chakraborty, D., Chakrabarti, P. P., Mondal, A., and Dasgupta, P. 2006. A framework for estimating peak power in gate level circuits. In Proceedings of the Conference on Power and Timing Modeling, Optimization and Simulation (PATMOS). 573--582. Google ScholarDigital Library
- Chen, H.-C. and Du, D. H. C. 1993. Path sensitization in critical path problem. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 12, 2, 196--207. Google ScholarDigital Library
- EggersgluB, S., Fey, G., Drechsler, R., Glowatz, A., Hapke, F., and Schloeffel, J. 2007. Combining multi-valued logics in sat-based atpg for path delay faults. In Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign. 181--187. Google ScholarDigital Library
- Fuchs, K., Wittmann, H., and Antreich, K. 1993. Fast test pattern generation for all path delay faults consideringvarious test classes. In Proceedings of the 3rd European Test Conference. 89--98.Google Scholar
- Fuchs, K., Pabst, M., and Rössel, T. 1994. RESIST: A recursive test pattern generation algorithm for path delay faults. In Proceedings of the Conference on European Design Automation. IEEE Computer Society Press, 316--321. Google ScholarDigital Library
- Gharaybeh, M., Bushnell, M., and Agrawal, V. 1997. Classification and test generation for path-delay faults using single struck-at fault tests. J. Electron. Test. Theory Appl. 11, 1, 55--67. Google ScholarDigital Library
- Huh, K., Kang, Y., and Kang, S. 2003. Efficient path delay testing using scan justification. Electron. Telecomm. Res. Instit. J. 25, 3, 187.Google Scholar
- Jayaraman, D., Flanigan, E., and Tragoudas, S. 2008. Implicit identification of non-robustly unsensitizable paths using bounded delay model. In IEEE International Test Conference (ITC). 1--10.Google Scholar
- Kim, J., Whittemore, J., Marques-Silva, J., and Sakallah, K. 2000. On applying incremental satisfiability to delay fault testing. In Proceedings of the Conference on Design, Automation and Test in Europe. 380--384. Google ScholarDigital Library
- Leiserson, C., Rivest, R., Cormen, T., and Stein, C. 2001. Introduction to Algorithms. McGraw-Hill. Google ScholarDigital Library
- McGeer, P., Saldanha, A., Stephan, P., Brayton, R., and Sangiovanni-Vincentelli, A. 1991. Timing analysis and delay-fault test generation using path-recursive functions. In Proceedings of the IEEE International Conference on Computer-Aided Design. 180--183.Google Scholar
- Mondal, A. and Chakrabarti, P. P. 2006. Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 25, 9, 1793--1814. Google ScholarDigital Library
- Pomeranz, I. and Reddy, S. M. 1998. Delay fault models for VLSI circuits. J. VLSI Integr. 26, 1--2, 21--40. Google ScholarDigital Library
- Roy, S., Chakrabarti, P. P., and Dasgupta, P. 2007. Event propagation for accurate circuit delay calculation using SAT. ACM Trans. Des. Autom. Electron. Syst. 12, 3, 36. Google ScholarDigital Library
- Rudell, R. and Sangiovanni-Vincentelli, A. 1987. Multiple-Valued minimization for PLA optimization. IEEE Trans. Comput.-Aid. Des. Integr. Circ. Syst. 6, 5, 727--750. Google ScholarDigital Library
- Saldanha, A., Brayton, R. K., and Sangiovanni-Vincentelli, A. L. 1992. Equivalence of robust delay-fault and single stuck-fault test generation. In Proceedings of the 29th ACM/IEEE Conference on Design Automation. 173--176. Google ScholarDigital Library
- Schulz, M., Fuchs, K., and Fink, F. 1989. Advanced automatic test pattern generation techniques for pathdelay faults. In Proceedings of the International Symposium on Fault-Tolerant Computing. 44--51.Google Scholar
- Somenzi, F. 2005. CUDD: CU Decision Diagram Package, Release 2.4.1, User’s Manual. http://vlsi.colorado.edu/~fabio/CUDD/.Google Scholar
Index Terms
- Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults
Recommendations
Line coverage of path delay faults
Special issue on the 11th international symposium on system-level synthesis and design (ISSS'98)We propose a new coverage metric for delay fault tests. The coverage is measured for each line with a rising and a falling transition, but the test criterion differs from that of the slow-to-rise and slow-to-fall transition faults. A line is tested by a ...
On test coverage of path delay faults
VLSID '96: Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile CommunicationWe propose a coverage metric and a two-pass test generation method for path delay faults in combinational logic circuits. The coverage is measured for each line with a rising and a falling transition. However, the test criterion is different from that ...
Generation of tenacious tests for small gate delay faults in combinational circuits
ATS '95: Proceedings of the 4th Asian Test SymposiumIn this paper, we present a test for small gate delay faults in combinational circuits, called a tenacious test and describe a method for generating tenacious tests. We consider a single gate delay fault in a circuit on the assumption of that each gate ...
Comments