三分岐判定図を用いた論理式の表現と処理に関する研究

1994 Fiscal Year Annual Research Report

• Project/Area Number: 05680279
• Research Institution: Kyushu Institute of Technology
• Principal Investigator: 笹尾 勤 九州工業大学, 情報工学部, 教授 (20112013)
• Co-Investigator(Kenkyū-buntansha): 神田 徳夫 徳山工業高等専門学校, 情報電子工学科, 教授 (10099864)
• Keywords: 論理設計 / 論理合成 / LSIのCAD / 多段論理回路 / BDD / TDD

Research Abstract

EXOR形三分岐判定図(ETDD)を用いて,種々のAND-EXOR形論理式を簡単化する方法を開発した.EXOR形TDDは,第三の枝に二つの部分関数の排他的論理和(EXOR)を対応させたもので,AND-EXOR形論理式の簡単化や,EXORを含む多段論理回路の合成に利用できる.また,多端子EXOR形TDDを用いて,入力変数が90以上の固定極性リ-ド・マラ-論理式(FPRM)の最小化に成功した.従来のデータ構造では,16入力までのFPRMの最小化が限度であった(発表論文).また,FPGA(書換え可能LSI)用に論理関数をETDDを用いて展開する方法を考察した(発表論文).
三分岐判定図(TDD)を記憶するには二分岐判定図(BDD)よりも,はるかに大量のメモリを必要とする.そのため,消耗品として,増設メモリを購入した.

Research Products

• [Publications] 笹尾 勤: "FPGAの論理設計法" 情報処理. 35. 530-534 (1994)
• [Publications] Jon T. Butler and Tsutomu Sasao: "Multiple-valued Combinational Circuits with Feedback" ISMVL-94. 342-347 (1994)
• [Publications] Tsutomu Sasao and Jon T. Butler: "A Design Method for Look-up Table Type FPGA by Pseudo-Kronecker Expansion" ISMVL-94. 97-106 (1994)
• [Publications] R. S. Stankovic, M. Stankovic, C. Moraga, and T. Sasao: "The Calculation of Reed-Muller Coefficients of Multiple-Valued Functions through Multi-Place Decision Diagrams" ISMVL-94. 82-88 (1994)
• [Publications] T. Sasao: "Easily Testable Realization for Generalized Reed-Muller Expressions" IEEE The 3rd Asian Test Symposium. 157-162 (1994)
• [Publications] T. Sasao and D. Debnath: "An exact minimization algorithm for generalized Reed-Muller expressions IEEE Asia-Pacific Conference on Circuits and Systems" APCCAS'94. 460-465 (1994)
• [Publications] 笹尾 勤: "論理設計:スイッチング回路理論" 近代科学社, 290 (1995)