• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

1996 Fiscal Year Annual Research Report

3段論理回路の構成法に関する研究

Research Project

Project/Area Number 08680374
Research Category

Grant-in-Aid for Scientific Research (C)

Research InstitutionKyushu 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)

All Other

All Publications (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)

URL: 

Published: 1999-03-08   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi