多値論理回路に対する検査容易設計に関する研究

1996 Fiscal Year Annual Research Report

• Project/Area Number: 08780303
• Research Institution: Himeji Institute of Technology
• Principal Investigator: 上浦 尚武 姫路工業大学, 工学部, 助手 (80275312)
• Keywords: 多値論理 / 故障診断 / 故障検出 / 検査容易設計 / PLA / セルラアレー / MDD / BDD

Research Abstract

本研究では,多値PLAや多値セルラアレーの設計法,故障検出・診断法を提案するとともに,それらの有効性をフェールセーフ性,フォールトトレラント性の観点から考察する.以上の提案および考察を通じて,多値論理回路に対する検査容易設計を確立させることが本研究の目的である.これに関して次の研究を行った.
1.故障診断容易な多値PLAの開発のための準備段階として,発生した故障の種類・位置を万能検査集合により診断できる2値PLAを開発した.また,検査入力生成コストが不要になるので,設計期間の短縮や製造コストの大幅な削減が期待できることを示した.
2.多値PLA構成においては,検査容易化だけでなくハードウェア削減も考慮すべき重要な設計要素である.そこで,従来の積和表現より積項数が少ない多値TRSUM-of-MIN's表現を提案した.また,高情報伝達可能なユニバーサルリテラルジェネレータ(ULG)付の多値PLAの系統的な設計法も提案した.多値TRSUM-of-MIN's表現を基としたPLAおよびULG付PLAは,従来のPLAよりハードウェアコストが少ない.今後は1で得られた設計技法を多値に拡張し,万能検査集合で診断可能な多値TRSUM-of-MIN's型PLAおよびULG付PLAを開発して,検査コストとハードウェアコストを同時に削減可能な多値論理回路構造の開発を目指す.
3.従来の多値セルラアレーには見られなかった特性であるフォールトトレラント性を備えた二段構成多値セルラアレーを提案した.さらに,有向非循環グラフであるMDDおよびBDD内のパスをたどるだけで多値セルラアレーを設計する方法も明らかにした.この設計法を基に構築されたセルラアレーにはフェールセーフ性が備わっており,故障検出の即時化および回路の高信頼化に有効であることを示した.

Research Products

• [Publications] 上浦尚武: "万能検査集合で診断可能な拡大PLAの一設計法" 第35回FTC研究会資料. (1996)
• [Publications] T. Hozumi: "On Minimization of Multiple-Valued Sum-of-Products Expression with Multiple-Valued TRSUM" Maltiple-Valued Logic : An International Journal. (in press).
• [Publications] T. Hozumi: "Design of MIN-of-TSUM Form Multiple-Valued PLA's Using Universal Literals" Multiple-Valued Logic : An International Journal. (in press).
• [Publications] N. Kamiura: "Design and Fault Masking of Two-Level Cellular Arrays on Multiple-Valued Logic" IEICE TRANSACTIONS on Information and Systems. Vol. E79-D No. 10. 1453-1461 (1996)
• [Publications] N. Kamiura: "On Design of Fail-Safe Cellular Arrays" IEEE Proceedings of the Fifth Asian Test Symposium. 107-112 (1996)