1993 Fiscal Year Annual Research Report
| Project/Area Number |
05558032
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
笹尾 勤 九州工業大学, 情報工学部, 教授 (20112013)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
神田 徳夫 徳山工業高等専門学校, 情報電子工学科, 教授 (10099864)
|
|---|
| Keywords | 論理設計 / 論理合成 / LSIのCAD / 多段論理回路 / 算術回路 / EXOR / FPGA |
|---|
| Research Abstract |
(1)AND-EXOR二段論理最小化プログラムの開発.
AND-EXOR二段論理式の最小化方法として,規約被覆関数を用いた方法(発表論文)と下界定理を用いる方法(発表論文)を開発した。
(2)疑似クロネッカ判定図を用いた多段論理回路の設計アルゴリズムの開発。
疑似クロネッカ判定図(PKDD)とは,与えられた論理関数を1)シャノン展開,2)正極性ダビオ展開,3)負極性ダビオ展開の3通りで展開し,最も簡単になる展開を採用した判定図である。本手法は,理論的には既に申請者により考察されていたが,本年度は,実用規模の回路を設計するためにメモリ効率のよいアルゴリズムを開発した(発表論文)。
EXOR論理合成に関しては,研究を始めてから7年以上経過した。昨年米国から出版した本には,本研究課題に関する論文を2編掲載した。また,本年ドイツで開催された,EXOR論理合成に関する国際ワークショップで,論理式簡単化の論文を2件発表し,参加者の注目を集めた。当ワークショップで発表された論文26編中,申請者の研究業績を引用したものが19編あった。平成7年には,EXOR論理合成に関する国際ワークショップを日本で開催することに決定し,申請者がその開催責任者に任命された。
|
-
[Publications] T.Sasao: "Optimization of pseudo-Kronecker expressions using multiple-place decision diagrams" IEICE Transactions on Information and Systems. 562-570 (1993)
-
[Publications] T.Sasao: "EXMIN2:A simplification algorithm for exclusive-OR-Sum-of-products expressions for multiple-valued input two-valued output functions" IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems. vol.12 No.5. 621-632 (1993)
-
[Publications] Daniel Brand and T.Sasao: "Minimization of AND-EXOR expressions using rewriting rules" IEEE Transactions on Computers. Vol.42 No.5. 568-576 (1993)
-
[Publications] 神田徳夫,笹尾勤: "論理関数のLP特徴ベクトルとその応用" 電子情報通信学会論文誌D-1. J76-D-1 No.6. 260-268 (1993)
-
[Publications] T.Sasao: "Ternary decision diagrams and their applications" International Workshop on LogicSynthesis. 23-26 (1993)
-
[Publications] N.Koda and T.Sasao: "LP equivalence class of logic functions" IFIP 10.5 Workshop on Application of the Reed-Muller expansion in Circuit Design. (1993)
