发明名称 |
RAS EVALUATION FOR CIRCUIT ELEMENT |
摘要 |
A computer-implemented method includes identifying an electronic circuit, which includes a plurality of circuit elements and is based on a circuit design. The circuit design includes structural information and logical information. The method generates a first verification model for the circuit design. The verification model includes a plurality of error report signal paths for each of the plurality of circuit elements. The method identifies a first circuit element output based on the plurality of error report signal paths. The method sets output for at least one of the first plurality of circuit elements to a fixed value. The method generates a second circuit element output based on the plurality of error report signal paths and setting output for at least one of the first plurality of circuit elements to a fixed value. The method determines a difference between the first circuit element output and the second circuit element output. |
申请公布号 |
US2017116362(A1) |
申请公布日期 |
2017.04.27 |
申请号 |
US201514923633 |
申请日期 |
2015.10.27 |
申请人 |
International Business Machines Corporation |
发明人 |
Jacobi Christian;Krautz Udo |
分类号 |
G06F17/50 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
Armonk NY US |