Efficient functional diagnosis for synchronous sequential circuits based on and/or graphs

International Symposium on IC Technology, Systems and Applications

Volumn 7, Issue , 1997, Pages 312-315

  Drechsler, Rolf ^a   Žužek, Alenka ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b JO EF STEFAN INSTITUTE   (Slovenia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMBINATORIAL CIRCUITS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; FINITE AUTOMATA; GRAPH THEORY; HEURISTIC METHODS; OPTIMIZATION; SEQUENTIAL CIRCUITS;

AND-OR GRAPHS; FINITE STATE MACHINE; SYNCHRONOUS SEQUENTIAL CIRCUITS;

INTEGRATED CIRCUIT LAYOUT;

EID: 0342755308     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. X. Chen and M. Bushnell. Efficient Branch and Bound Search with Application to Computer Aided Design. Kluwer Academic Publisher, 1996.
2. M. Fujita. Methods for automatic design error correction in sequential circuits. In European Design & Test Conf., pages 76-80, 1993.
3. E.J. Kletsky. An application of the information theory approach to failure diagnosis. IRE Trans. on Reliability and Quality Control, 9:29-39, 1960.
4. N.J. Nilsson. Principles of Artificial Intelligence. Springer Verlag, 1982.
5. K.R. Pattipati and M.G. Alexandridis. Application of heuristic search and information theory to sequential fault diagnosis. IEEE Trans. on Systems, Man, and Cybernetics, 20:872-887, 1990.
6. K.R. Pattipati and M. Dontamsetty. On a generalized test sequencing problem. IEEE Trans. on Systems, Man, and Cybernetics, 22:392-396, 1992.
7. D. Stoffel, W. Kunz, and S. Gerber. AND/OR graphs. In Technical Report, MPI-I-95-602, 1995.
8. A. Wahba and D. Borrione. Design Error Diagnosis in Sequential Circuits, volume 987 of LNCS. CHARME, 1995.
9. A. Wahba and D. Borrione. A method for automatic design error location and correction in combinational logic circuits. Jour. of Electronic Testing: Theory and Applications, 8:113-127, 1996.
10. A. Zuzek, F. Novak, A. Biasizzo, I. Savnik, and B. Cestnik. Sequential diagnosis tool for system maintenance and repair. Electronical Review, Ljubljana, (62)3-4:224-231, 1995.