| 发明名称 |
IDENTIFICATION OF UNKNOWN SOURCES FOR LOGIC BUILT-IN SELF TEST IN VERIFICATION |
| 摘要 |
A tool for determining unknown sources in a circuit design for exclusion from logic built-in self test (LBIST) verification for the circuit. The tool initializes, by one or more computer processors, one or more nets contained in an initial nets list, wherein the initial nets list is a representation of a circuit design being tested. The tool removes, by one or more computer processors, the one or more nets initialized in response to initialization of each of one or more latches in one or more test channels of the circuit design being tested. The tool determines, by one or more computer processors, whether a latch of the one or more latches is corrupted by an unknown source. |
| 申请公布号 |
US2016178696(A1) |
申请公布日期 |
2016.06.23 |
| 申请号 |
US201514940618 |
申请日期 |
2015.11.13 |
| 申请人 |
International Business Machines Corporation |
发明人 |
Bhamidipati Satya R. S.;Kusko Mary P.;Lichtenau Cedric;Polisetty Srinivas V. N. |
| 分类号 |
G01R31/3177;G01R31/317 |
主分类号 |
G01R31/3177 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
1. A method for determining unknown sources in a circuit design for exclusion from logic built-in self test (LBIST) verification for the circuit, the method comprising:
initializing, by one or more computer processors, one or more nets contained in an initial nets list, wherein the initial nets list is a representation of a circuit design being tested; removing, by one or more computer processors, the one or more nets initialized in response to initialization of each of one or more latches in one or more test channels of the circuit design being tested; and determining, by one or more computer processors, whether a latch of the one or more latches is corrupted by an unknown source. |
| 地址 |
Armonk NY US |
