1990 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論理式最小化プログラムの開発。
2.ANDーEXOR論理式最小化プログラムの開発。
3.論理関数の変換のフルゴリズムとプログラムの開発。
研究分担者の神田徳夫が内地留学で研究代表者の大学で10カ月過ごすことになり,研究の芸率が大幅に上昇した。また,研究代表者のアイデアに強い興味を示したIBMワトソン研究のD.Brand博士が,約4カ月研究代表者の所に滞在し共同でANDーEXOR論理式の最小化に関する研究を行った。
新たにられた成果は,下記のとおりである。
1.『任意の6変数関数を表現するために必要なANDーEXOR論理式の績項が16であること』。この証明のために,多数のワ-クステ-ションを数ケ月連続運転した。ANDーOR論理式で同じことをするには,32績項必要である。つまり,EXORを用いると績項数が大幅に経ることが証明された。
2.『論理関数の変換定理』ANDーEXOR論理式の績項数を変化させないような論理関数の変換群を発見した。この変換を用いると,一つの関数の論理式を簡単化すれば十分である。そのため,ANDーEXOR論理式の簡単化は,並列計算機で実行出来る。また,最小論理式の績項数の下界を求める際にも有効であり,最小化プログラムの性能も大幅に上昇した。
|
-
[Publications] T.Sasao: "EXMIN:A simpflication algorithm for exclusiveーorsumーof products expression for multipleーvalued input twoーvalued output functions" Proceeding of the 20ーth International Symosium on MultipleーValued Logic. 128-135 (1990)
-
[Publications] 笹尾 勤,神田 徳夫: "多値入力二値出力関数に於ける変換とその排他的論理和形簡単化への応用" 第13回 多値論理研究ノ-ト. VOL.13. 13 (1990)
