Presentation | 2004/11/25 On the Extraction of a Minimum Cube to Justify Signal Line Values Kohei MIYASE, Shinobu NAGAYAMA, Seiji KAJIHARA, Xiaoqing Wen, Sudhakar M. REDDY, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | When there are internal logic values in a combinational circuit that must be justified by a given input vector, necessary input values to justify them are expressed as a cube. In this paper we propose methods to extract a cube with the minimum number of specified values from an input vector. One is the case of justifying a single line value and the other is the case when the number of signal values to be justified is more than one. In the latter case, we utilize a BDD to extract the cube, and we reduce the problem to a shortest path problem. We also present how to reduce the size of BDDs used. The method can be used for finding test cubes with minimal numbers of specified bits in test vectors. Such test cubes can be used to achieve higher test data compression. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Justification / BDD / Shortest path problem / Test data compression |
Paper # | VLD2004-77,ICD2004-163,DC2004-63 |
Date of Issue |
Conference Information | |
Committee | ICD |
---|---|
Conference Date | 2004/11/25(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 | Integrated Circuits and Devices (ICD) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | On the Extraction of a Minimum Cube to Justify Signal Line Values |
Sub Title (in English) | |
Keyword(1) | Justification |
Keyword(2) | BDD |
Keyword(3) | Shortest path problem |
Keyword(4) | Test data compression |
1st Author's Name | Kohei MIYASE |
1st Author's Affiliation | Kyushu Institute of Technology() |
2nd Author's Name | Shinobu NAGAYAMA |
2nd Author's Affiliation | Kyushu Institute of Technology |
3rd Author's Name | Seiji KAJIHARA |
3rd Author's Affiliation | Kyushu Institute of Technology |
4th Author's Name | Xiaoqing Wen |
4th Author's Affiliation | Kyushu Institute of Technology |
5th Author's Name | Sudhakar M. REDDY |
5th Author's Affiliation | University of Iowa |
Date | 2004/11/25 |
Paper # | VLD2004-77,ICD2004-163,DC2004-63 |
Volume (vol) | vol.104 |
Number (no) | 480 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |