1996 Fiscal Year Annual Research Report
ベンチマ-キングのための不自然でないランダム論理回路の高速大量生成
| Project/Area Number |
08558024
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Section | 試験 |
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
岩間 一雄 九州大学, 大学院・システム情報科学研究科, 教授 (50131272)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
宮野 英次 九州大学, 大学院・システム情報科学研究科, 助手 (10284548)
岩本 宙造 九州芸術工科大学, 講師 (60274495)
澤田 直 九州大学, 大学院・システム情報科学研究科, 助手 (70235464)
櫻井 幸一 九州大学, 大学院・システム情報科学研究科, 助教授 (60264066)
|
|---|
| Keywords | ランダム論理回路 / ベンチマーク生成システム / 論理回路最適化システム / NANDゲート回路 / 入出力次数制限 / 等価変換 / オンセットサイズ / 回路理論的複雑さ |
|---|
| Research Abstract |
論理回路最適化システムの性能評価のため,簡単な初期回路から回路の等価性を保存する基本変換をランダムに繰り返すことにより複雑なテスト回路を生成するという手法を用いたランダムベンチマーク集合生成システムの開発を行った.8年度は以下のような成果を得た.
1.回路の重要な属性であるゲートの種類と入出力次数の制御に関しては,入力次数をκ(κ【greater than or similar】2)に制限したNANDゲートのみからなる回路を生成できる完全なルール集
2.論理回路が実現する論理関数は初期回路によって定まる.我々は,素項をランダムに生成する手法を採用することによりランダム初期回路の生成システムを実現した.これにより,オンセットのサイズ(関数値が真になる割合)や関数の回路理論的複雑さを制御可能であるようなランダム初期回路生成システムを得ることができた.
3.実働化を行い代表的な論理最適化システムであるSISとトランスダクションの評価作業を行った.実働化に際しては,上記ランダム初期回路生成システムの評価及び制御すべき属性のさらなる充実のため,初期回路をMCNC標準ベンチマークとした回路との比較を行った.これにより,SISおよびトランスダクションにとって,ランダム初期回路より生成された回路の方がMCNCベンチマークを用いたそれと比べてより最適化が難しいとの感触を得た.
上記の結果は1997年のEuropean Design & Test Conference会議で発表予定である.生成システムの開発はまだ第一段階であり,システムの完成と最適化システムの本格的な評価作業は9年度の課題としたい.
|
Research Products
(6 results)
-
[Publications] 岩間,一雄: "α-connectivity:A gradually non-parallel graph problem" Journal of Algorithms. 20・3. 526-544 (1996)
-
[Publications] 岩間,一雄: "Routing problems on the mesh of buses" Journal of Algorithms. 20・3. 613-631 (1996)
-
[Publications] 岩間,一雄: "A faster parallel algorithem for κ-connectivity" Proc.KOREA-JAPAN Joint Workshop on Algorithms and Computation. 8-13 (1996)
-
[Publications] 岩本,宙造: "PRAMおよび対数時間一様な論理回路族に基づく計算量の階層" 数理解析研究所講究録. 950. 26-32 (1996)
-
[Publications] 櫻井,幸一: "A hidden cryptographic assumption in no-trasferable identification schemes" Advances in Cryptology-Asiacrypt'96,Lecture Notes in Test Computer Science.
-
[Publications] 岩間,一雄: "Random benchmark circuits with controlled attributes" European Design & Conference,ED & TC-97. (発表予定). (1997)
