| 研究課題/領域番号 |
12780212
|
|---|
| 研究種目 |
奨励研究(A)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
高木 一義 名古屋大学, 工学研究科, 講師 (70273844)
|
|---|
| 研究期間 (年度) |
2000 – 2001
|
| 研究課題ステータス |
完了 (2001年度)
|
| 配分額 *注記 |
2,100千円 (直接経費: 2,100千円)
2001年度: 700千円 (直接経費: 700千円)
2000年度: 1,400千円 (直接経費: 1,400千円)
|
|---|
| キーワード | 決定グラフ / 論理関数 / 論理回路 / LSIレイアウト / グラフ配置問題 / 分岐プログラム / 計算モデル / 関数分解 |
|---|
| 研究概要 |
1.論理関数表現に用いられる種々の決定グラフのクラスについて、グラフの構成に関する制約条件と計算能力の関係を詳細に解析した。具体的には、決定グラフと等価な計算モデルである分岐プログラムの一種である、k回読みブロック化分岐プログラムについて、制約条件に新たに変数順序に関するパラメータを加え、k回読みl変数順序ブロック化分岐プログラムを定式化した。そして、これらのグラフの表現能力に関する性質をいくつか示し、これまでの成果をまとめ、結果を公表した。
2.論理回路のグラフ表現における規則性をLSIレイアウトに反映させ、高品質のLSI回路を設計する手法を提案した。この手法では、回路のグラフ構造とハードウェア記述言語による記述から規則的な構造を抽出し、これに対しグラフの配置問題のアルゴリズムを適用することによりLSI上の回路素子の配置を決定する。
3.上のLSI回路設計手法のの有効性を示すための予備実験を行なった。また、評価のためLSIチップの試作を行なった。
|
