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

多出力論理回路に含まれる設計誤りの自動追跡・修正

多输出逻辑电路中设计错误的自动跟踪和修正

基本信息

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

项目摘要

1.一つのブール変数Xを含み,正しい回路ではこの変数Xが単一または複数の出力まで伝搬する,誤り追跡入力を生成するソフトウェアを開発した。二分決定グラフによる論理関数の操作によって,多出力回路に対応する誤り追跡入力を短時間で生成することが可能となった。2.生成された誤り追跡入力をもとに,ブール変数Xを出力に伝搬させるように修正可能な箇所の組合せを,可制御性の評価と,誤りの種類を特定しないシミュレーションにより,「誤り候補箇所」として特定するソフトウェアを開発した。多出力回路を一括して扱うことで,異なる出力端子を頂点とする部分回路間にまたがる設計誤りをも追跡可能とした。3.特定された誤り候補箇所のそれぞれについて誤りの種類を対応させ,ブール変数Xが出力まで伝搬するか否かの判定を行い,すべての誤り追跡入力についてXが出力まで伝搬する誤りの組合せを,設計誤りの候補として出力するソフトウェアを開発した。4.二分決定グラフを用いた論理関数操作によって,自動的に論理検証を行うソフトウェアを開発した。また,3.の結果得られた候補をもとに自動的にもとの回路を修正し,再度論理検証を行うことによって,最終的な設計誤りと,修正された回路を設計者に提示する機能を付加した。5.提案した手法を計算機上に実現し,最大2,300ゲートの9種の多出力回路に含まれる203種の誤りに対して,その追跡・修正能力を評価した。その結果,すべての回路例において誤りの指摘が可能であると同時に,可能性のあるすべての3重誤りを25分以内に求めることが可能となった。

1. The number X of a loop contains the number X of a loop, and the number X of a loop contains the number X of a loop, and the number X of a loop contains the number X of a loop, and the number X of a loop contains the number X of a loop. Two points to determine the logical relationship between the operation, multi-force loop to track the error in the input force generated in a short time, so that it is possible 2. To generate error tracking input force, change the number X, change the force, correct the combination of possible locations, control the evaluation, change the type of error, change the number X, change the number X, change the force, change the number X, change the number X, change the number The design error may occur between multiple output circuits, and between different output terminals. 3. Specific error candidate for the type of error, the number of X for the output, the determination of whether to move, the error tracking input force, X for the output, the error combination, the design error candidate for the output, the determination of whether to move. 4. 2. Decide whether to use the logic control operation, automatic logic control operation, or open it. 3. As a result, the function of automatic loop correction, logical verification, and final design error correction is added. 5. The proposed method is implemented on the computer, with a maximum of 2,300 types of multi-output circuits, including 203 types of errors, and tracking and correction capabilities. For example, if the error is within 25 minutes, the probability is within 25 minutes.