述語論理を用いた組合せ回路の故障診断手法

概要

論文の詳細を見る
A new method for locating stuck-at faults in combinational circuits is proposed. First, the fundamental operations based on predicate logic are presented for tracing the potentially erroneous paths from the primary outputs to the primary inputs and deducing the fault locations. Next, under the single fault assumption, it is pointed out that the diagnostic efficiency and resolution are improved by adding the preprocess of narrowing the faulty zone and the verification for fanout stem faults on the erroneous paths to the fundamental operations. Finally, the effectiveness of the method is shown by computer simulation.
明治大学の論文