GARDA: a diagnostic ATPG for large synchronous sequential circuits
暂无分享,去创建一个
Paolo Prinetto | Maurizio Rebaudengo | Matteo Sonza Reorda | Fulvio Corno | P. Prinetto | Fulvio Corno | M. Reorda | M. Rebaudengo
[1] John H. Holland,et al. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .
[2] S. Angus,et al. 1 – EXPERIMENTAL RESULTS , 1985 .
[3] David Bryan,et al. Combinational profiles of sequential benchmark circuits , 1989, IEEE International Symposium on Circuits and Systems,.
[4] Melvin A. Breuer,et al. Digital systems testing and testable design , 1990 .
[5] Paolo Prinetto,et al. A diagnostic test pattern generation algorithm , 1990, Proceedings. International Test Conference 1990.
[6] Udo Mahlstedt,et al. DIATEST: a fast diagnostic test pattern generator for combinational circuits , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.
[7] Dong Sam Ha,et al. HOPE: an efficient parallel fault simulator for synchronous sequential circuits , 1992, DAC '92.
[8] H. K. Lee,et al. HOPE: an efficient parallel fault simulator , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[9] Elizabeth M. Rudnick,et al. Diagnostic Fault Simulation of Sequential Circuits , 1992, Proceedings International Test Conference 1992.
[10] Paolo Prinetto,et al. An approach to sequential circuit diagnosis based on formal verification techniques , 1992, Proceedings International Test Conference 1992.
[11] Elizabeth M. Rudnick,et al. Sequential Circuit Test Generation in a Genetic Algorithm Framework , 1994, 31st Design Automation Conference.
[12] Elizabeth M. Rudnick,et al. Application of simple genetic algorithms to sequential circuit test generation , 1994, Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC.
[13] Paolo Prinetto,et al. An automatic test pattern generator for large sequential circuits based on Genetic Algorithms , 1994, Proceedings., International Test Conference.