1991 Fiscal Year Annual Research Report
Project/Area Number |
02805046
|
Research Institution | Kyushu Institute of Technology |
Principal Investigator |
笹尾 勤 九州工業大学, 情報工学部, 助教授 (20112013)
|
Co-Investigator(Kenkyū-buntansha) |
神田 徳夫 徳山工業専門学校, 情報電子工学科, 助教授 (10099864)
|
Keywords | 論理設計 / EXOR / PLA / 算術回路 / LSIのCAD / 多段論理回路 / 論理合成 |
Research Abstract |
(1)ANDーEXOR論理式の最小化:4変数までの論理関数のESOPの最小型を網羅的方法で求め,それを適当な同値関係で分類し表にまとめた。これにより,4変数までの論理式の最小化は,索表により実行できるようになった。 (2)ANDーEXOR論理式のクラスとして,ESOP(Exclusive Or SumーofーProducts expression)の他にPSDKRO(Pseudo Kronecker Expression)という新しいクラスの論理式に対してその最小化法を開発した。種々の関数を最小化した結果,のPSDKROは最小化が比較的簡単で積項数も少ないことが明らかになった。本アルゴリズムで,34入力の論理関数のANDーEXOR論理式の最小化に成功した。 (3)ANDーEXOR論理式(ESOP)簡単化の実用的プロ警ラムEXMIN2の開発:種々の算術演算回路を簡単化した結果,ANDーEXOR論理式を用いると,ANDーOR論理式の場合に比べ,同じ関数を表現するために必要なリテラル数や積項数が少なくてよいことが明らかになった。。EXMIN2を用いるとは,ワ-クステ-ション上で実用レベルのANDーEXOR論理回路を設計できる。 (4)ANDーORーEXOR回路の構成:通常の実現法では,EXORゲ-トはORゲ-トに比べ高価なので,ANDーEXOR論理回路をそのまま実現するのは実用的ではない。ANDーEXOR論理回路において,いくつかのEXORゲ-トは出力関数を変化させずにORゲ-トに置換可能である。この性質に着目し,ANDーEXOR二段論理回路をANDーORーEXOR論理回路に変換する方法を開発した。
|
-
[Publications] Daniel Brand,笹尾 勤: "On the minimization of ANDーEXOR expressions" International Workshop on Logic Synthesis. (1991)
-
[Publications] T.Sasao: "A transformation of multipleーvalued input twoーvalued output functions and its application to simplification of exclusiveーor sumーofーproducts expressions" International Symposium on MultipleーValued Logic. 270-279 (1991)
-
[Publications] 笹尾 勤,神田 徳夫: "ANDーEXOR論理式のいくつかのクラスとその複雑度について" 電子情報通信学会第二種研究会 多値論理とその応用研究会. MVL91ー4. 28-36 (1991)
-
[Publications] 神田 徳夫,笹尾 勤: "ANDーEXOR最小論理式の積項数について" 電子情報通信学会フォ-ルトトレラントシステム研究会. FTS91ー22. 25-30 (1991)
-
[Publications] 笹尾 勤: "On the complexity of some classes of ANDーEXOR expressions" 京都大学数理解析研究所講究録. (1991)
-
[Publications] T.Sasao: "Bounds on the average number of products in the minimum sumーofーproducts expressions for multipleーvalued input twoーvalued output functions" IEEE Trans.on Comput.40. 645-651 (1991)
-
[Publications] 笹尾 勤: "種々のANDーEXOR論理式の複雑度について" 電子情報通信学会フォ-ルトトレラントシステム研究会. FTS91ー35. 29-36 (1991)
-
[Publications] 神田 徳夫,笹尾 勤: "4変数ANDーEXOR最小論理式とその性質" 電子情報通信学会論文誌DーI. J74Dー1. 765-773 (1991)