权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

高い多重度をもつ論理設計誤りの自動診断・修正手法とその応用

高重度逻辑设计错误自动诊断与纠正方法及其应用

基本信息

批准号：
09780277
负责人：
沼昌宏
金额：
$ 1.28万
依托单位：
Kobe University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

项目摘要

1. 修正率を向上させる手法の実現:平成9年度に実現した手法によって最大で多重度10の設計誤りに対する自動修正が可能となったが,多重度が高くなるに従い,修正率が低下する問題があった。この問題を解決するため,(1)診断対象部分回路に応じた誤り追跡入力の生成,(2)評価関数に基づく部分修正法の選択,の二つの手法を考案・実現した。(1)は,診断対象とする部分回路のみを対象として誤り追跡入力を生成することで,修正の可能性がない組合せ箇所を効果的に排除する効果をもつ。さらに(2)により,外部出力値を評価する関数を用いることで,より的確な部分修正法を求めることが可能となった。2. 追跡多重度を向上させる手法の実現:従来は一つのコーン回路(単一出力の部分回路)に4個以上の設計誤りが含まれる場合には対応不可能であった。そこで,機能仕様と一致しない外部出力を頂点とするコーン回路の共有部分回路に対象を絞り込むことで,多重度5までの設計誤りが一つのコーン回路に含まれる場合にも対応する手法を考案・実現した。3. インクリメンタル合成部作成:考案・実現した手法に基づき,機能仕様が変更された際に,すでに合成された回路に対する可能な限り少ない修正によってその変更を満足させるインクリメンタル合成手法を考案し,ソフトウェアとして実現した。変更前の仕様に基づいて合成された回路が誤りを含むと考え,変更後の仕様を正しい機能とみなして論理診断・修正を行うことで実現する。論理診断・修正手法をその基本とすることで,最小の修正で変更を実現することが可能となった。4. 性能評価:実験により,種々の回路に対して誤りの追跡・修正を行った。多重度5の設計誤りに対する修正率が35%から91%に改善され,また多重度10に対しても同程度の修正率が得られる効果を確認した。

1. The correction rate is up. The correction rate is up. The correction rate is down. The correction rate is down. The correction rate is down. This problem can be solved by: (1) diagnosing the error in the object partial loop and tracing the generation of input force;(2) evaluating the selection of the basic partial correction method in the relevant number; and (3) examining the method and implementing it. (1)For example, if a diagnostic object is detected, the partial loop is detected, and the tracking input force is generated, the possibility of correction is combined, and the result is excluded. (2) The external output value is evaluated by using the correct partial correction method. 2. The method of tracking multiple degrees is realized: if there are more than 4 design errors in a single circuit (partial circuit with single output), it is impossible to reverse them. For example, the design error of the function is consistent with that of the external force. For example, the design error of the function is consistent with that of the external force. For example, the design error of the function is consistent with that of the external force. For example, the design error of the function is consistent with that of the external force. 3. In addition, the system can be used to modify the function of the system. The system can be used to modify the function of the system. Before and after the change, the basic information is synthesized, the loop error is included, and the function is corrected. The logic diagnosis and correction are performed. Logic diagnosis, correction method, basic, minimal correction, correction, possible. 4. Performance evaluation: The implementation of the system, the kind of loop, the tracking of errors, and the correction of errors. The correction rate of design error of multiple weight 5 was improved from 35% to 91%, and the correction rate of multiple weight 10 was confirmed to be the same.