Presentation | 2005/2/11 Equivalence of Sequential Transition Test Generation and Constrained Combinational Stuck-at Test Generation Tsuyoshi IWAGAKI, Satoshi OHTAKE, Hideo FUJIWARA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, a transition test generation method for acyclic sequential circuits is presented. In this method, to generate a test sequence for a transition fault in a given acyclic sequential circuit, constrained combinational stuck-at test generation is performed on its double time-expansion model, which is composed of two copies of a time-expansion model of the given circuit. This method can guarantee complete fault efficiency, i.e., it can generate test sequences for all the testable transition faults and can identify all the untestable transition faults in a given acyclic sequential circuit. Experimental results show that our method can achieve high fault efficiency with drastically short test generation time compared with that obtained by conventional methods. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | sequential transition test generation / acyclic sequential circuit / constrained combinational stuck-at test generation / double time-expansion model / complete fault efficiency |
Paper # | DC2004-96 |
Date of Issue |
Conference Information | |
Committee | DC |
---|---|
Conference Date | 2005/2/11(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Dependable Computing (DC) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Equivalence of Sequential Transition Test Generation and Constrained Combinational Stuck-at Test Generation |
Sub Title (in English) | |
Keyword(1) | sequential transition test generation |
Keyword(2) | acyclic sequential circuit |
Keyword(3) | constrained combinational stuck-at test generation |
Keyword(4) | double time-expansion model |
Keyword(5) | complete fault efficiency |
1st Author's Name | Tsuyoshi IWAGAKI |
1st Author's Affiliation | Graduate School of Information Science, Nara Institute of Science and Technology() |
2nd Author's Name | Satoshi OHTAKE |
2nd Author's Affiliation | Graduate School of Information Science, Nara Institute of Science and Technology |
3rd Author's Name | Hideo FUJIWARA |
3rd Author's Affiliation | Graduate School of Information Science, Nara Institute of Science and Technology |
Date | 2005/2/11 |
Paper # | DC2004-96 |
Volume (vol) | vol.104 |
Number (no) | 664 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |