首页>
外国专利>
Fault propagation path estimating method, fault propagation path estimating apparatus and recording media
Fault propagation path estimating method, fault propagation path estimating apparatus and recording media
展开▼
机译:故障传播路径估计方法,故障传播路径估计设备和记录介质
展开▼
页面导航
摘要
著录项
相似文献
摘要
A gate connected to an input side of a normal signal line estimated-as in a logical state equal to an expected value with an implication operation is detected as a newly implication-capable gate, and a signal line on an output side of a gate estimated as in a logical state equal to the expected value with an implication operation for the implication-capable gate is initialized to a logical state before the implication operation. A signal line in which a logical contradiction occurs in the logical state estimated with the implication operation is registered, and the number of occurrences thereof is recorded. Additionally, the result of the implication operation is stored as history information, and when the number of occurrences of logical contradictions exceeds an allowable number, the history information is traced to initialize a logical state of a signal line causing the logical contradiction to a state before the implication operation until the number falls within the allowable number.
展开▼