ランダムベンチマーク例題による論理最適化システムの評価

• Item type: SIG Technical Reports(1)
• 公開日: 1995-01-19
• タイトル: ランダムベンチマーク例題による論理最適化システムの評価
• タイトル / 言語: en
• タイトル: Random Benchmarks for Evaluating Logic Optimizers
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州大学工学部
• 著者所属: 九州大学工学部
• 著者所属: 九州大学工学部
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Communication Engineering Kyushu University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Communication Engineering Kyushu University
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Communication Engineering Kyushu University
• 著者名: 日野, 健介; 岡野, 宏哉; 岩間, 一雄
• 著者名(英): Kensuke, Hino; Hiroya, Okano; Kazuo, Iwama
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 論理最適化システムを実験的に評価する時にベンチマーク回路の選び方は重要である．本論文では．初期回路（関数）を基本的な属性を制御しながらランダムに生成し．さらにそれをランダムに等価変換することによってテスト例題を生成する手法について述べる．SISとトランスダクション法に対する実験では興味深いデータを得た．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: How to select benchmarks is an important issue in evaluating empirically the performance of logic optimizers, To generate test instances, we propose the random applications of transformation rules to an initial circuit(function), which is also generated at random with controllability of basic attributes. Experiments for SIS and Transduction using such random benchmarks provided interesting results.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10096105
• 書誌情報: 情報処理学会研究報告計算機アーキテクチャ（ARC）; 巻 1995, 号 6(1994-ARC-110), p. 49-56, 発行日 1995-01-19
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会