1996 Fiscal Year Annual Research Report
| Project/Area Number |
08680374
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
笹尾 勤 九州工業大学, 情報工学部, 教授 (20112013)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
梶原 誠司 九州工業大学, 情報工学部, 助教授 (80252592)
神田 徳夫 徳山工業高等専門学校, 情報電子工学科, 教授 (10099864)
|
|---|
| Keywords | 論理設計 / 論理関数の分解 / AND-OR-EXOR / 論理関数の複雑度 / EXOR / 非冗長論理和形 / PLD |
|---|
| Research Abstract |
AND-OR-EXOR回路.
与えられた論理関数をAND-OR-EXOR回路で実現する方法を開発した.但し,EXORゲートの入力数は2とする.本問題は,論理関数を二つの論理関数に分解する問題に帰着できる.本方法では,AND-ORの設計を何度も実行する必要があるので,代表的な論理関数の最小AND-OR回路を予め設計しておき,結果を圧縮して表の形でメモリに記憶しておく.但し,通常の方法では,表はかなり大きくなるので,表をコンパクトに表現し,高速に検索する手法を開発した.
論理関数の2分解
論理関数fがf=h(g1(x1),g2(x2))の形で表現できるとき,fは2分解を持つという.与えられた論理関数が2分解を持つか否かを高速に判定する方法を開発した.また,n変数論理関数で2分解を持つ関数の個数を与える公式を導いた.ここで,hはAND,OR,EXOR関数である.hがANDのとき,giをAND-ORで構成し,hがORのとき,giをOR-ANDで構成し,hがEXORのとき,giをAND-EXORで構成すれば、3段論理回路が得られる.また,多数のベンチマーク関数に対して,分解可能であることを実験により確かめた.
|
Research Products
(7 results)
-
[Publications] T.Sasao and D.Debnath: "Generalized Reed-Muller expressions : Complexity and an exact minimization algorithm" IEICE Transactions. E79-A No.12. 2123-2130 (1996)
-
[Publications] D.Debnath and T.Sasao: "GRMIN2: A heuristic simplification algorithm for generalized Reed-Muller expressions" IEE Proceedings,Computers and Digital Techniques. Vol.143 No.6. 376-384 (1996)
-
[Publications] T.Sasao and J.T.Butler: "Planar decision diagrams for multiple-valued functions" Multiple-valued Logic : An International Journal. Vol.1 No.1. 39-46 (1996)
-
[Publications] T.Sasao: "Easily testable realizations for generalized Reed-Muller expressions" IEEE Transactions on Computer(accepted for publication).
-
[Publications] J.T.Butler,D.S.Herscovici,T.Sasao and R.J.Barton: "Average and worst case number of nodes in decision diagrams of symmetric multiple-valued functions" IEEE Transactions on Computer(accepted for publication).
-
[Publications] J.T.Butler and T.Sasao: "Average number of nodes in binary decision diagrams of Fibonacci functions" Fibonacci Quarterly(accepted for publication).
-
[Publications] T.Sasao and M.Fujita (ed.): "Representation of Discrete Functions" Kluwer Academic Publishers, 325 (1996)
