As the science and technology especially the semiconductor and communications technology developing rapidly
the designs based on FPGA technology are adopted much wider and becomes applicable for large system. Large system brings complex designs; the verification of FPGA design occupies larger part of the whole system development. So in this paper
by studying the ATPG technology and the ATALANTA
an open-source ATPG solver
we introduce a new LUT based ATPG method that has been implemented by extend ATALANTA with many new features. The case study in this paper shows the feasibility of our method.
Hansen M, Yalcin H, Hayes J P. Unveiling the ISCAS-85 benchmarks: a case study in reverse engineering[J]. IEEE Design and Test, 1999, 16(3): 72-80. DOI: 72
Lee H K, Ha D S, On the generation of test patterns for combinational circuits[R]. USA: Dep't of Electrical Eng., Virginia Polytechnic Institute and State University. Technical Report No. 12_93, 2002.