A New and Fast Approach to Very Large Scale Integrated Sequential Circuit Test Generation
暂无分享,去创建一个
[1] Ralph P. Grimaldi. Discrete and Combinatoral Mathematics: An Applied Introduction 2nd Ed. , 1989 .
[2] Ralph P. Grimaldi,et al. Discrete and Combinatorial Mathematics: An Applied Introduction , 1998 .
[3] Parker,et al. Design for Testability—A Survey , 1982, IEEE Transactions on Computers.
[4] Thomas W. Williams,et al. Design for Testability - A Survey , 1982, IEEE Trans. Computers.
[5] Seh-Woong Jeong,et al. Exact calculation of synchronization sequences based on binary decision diagrams , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[6] Kenneth Steiglitz,et al. Combinatorial Optimization: Algorithms and Complexity , 1981 .
[7] David Bryan,et al. Combinational profiles of sequential benchmark circuits , 1989, IEEE International Symposium on Circuits and Systems,.
[8] M. Morris Mano. Digital Design , 1984 .
[9] Alfred V. Aho,et al. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours , 1991, IEEE Trans. Commun..
[10] David K. Smith. Network Flows: Theory, Algorithms, and Applications , 1994 .
[11] Fabio Somenzi,et al. Fast sequential ATPG based on implicit state enumeration , 1991, 1991, Proceedings. International Test Conference.
[12] David Lee,et al. Testing Finite State Machines: Fault Detection , 1995, J. Comput. Syst. Sci..
[13] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[14] Cynthia Barnhart,et al. A column-generation technique for the long-haul crew-assignment problem , 1994 .
[15] Jack Edmonds,et al. Matching, Euler tours and the Chinese postman , 1973, Math. Program..
[16] Srinivas Devadas,et al. Test generation and verification for highly sequential circuits , 1991, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..