論理回路のレイアウト複雑さに関する研究

逻辑电路布局复杂性研究

• 批准号: 06780254
• 负责人: 高木 直史
• 金额: $ 0.7万
• 依托单位: Nagoya University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06780254/
• 关键词: レイアウト; 計算複雑さ; VLSI; 乗算器; 線形配置問題

論理回路をVLSI上に実現する場合に重要な、レイアウトの複雑さに関する研究を行った。論理回路のレイアウト複雑さを議論するためには、まず、複雑さの評価基準を定める必要がある。評価基準は種々考えられるが、理論的に厳密なものとして、VLSIモデル上でのレイアウト(の記述)を生成するために必要な計算量を用いることが妥当であるという結論に達した。例えば、ある構造の乗算器のレイアウトが、ビット長nに対して、決定性チューリング機械でlog nに比例する領域で計算できるなら、その乗算器のレイアウト複雑さは決定性対数領域であるとする。この評価基準を基に、種々の乗算器のレイアウトの生成に必要な計算量の研究を行った。二次元配列構造をもつ配列型乗算器や二分木構造をもつ冗長2進加算木を用いた乗算器のレイアウト複雑さは、決定性対数領域であることを容易に示すことができる。本研究では、広く知られている高速乗算器であるWallace木を用いた乗算器やこれを一般化した並列カウンタ型乗算器のレイアウトの生成に要する計算量について研究を行った。乗算器のレイアウト問題がグラフの線形配置問題に帰着できることを示し、カット幅最小の配置を求めるアルゴリズムを開発し、その計算量を明らかにした。その結果、厳密な最小解は対数領域限定非決定性チューリング機械で計算でき、定数倍以内の近似解を対数領域限定決定性チューリング機械で計算できることが明らかになった。厳密な最小解を対数領域限定決定性チューリング機械で計算できるかどうかは未解決である。本研究で得られた、カット幅最小線形配置アルゴリズムに関する研究成果を、現在、IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systemsに投稿中である。

On the logical circuit を VLSI に be presently す る に important な, レ イ ア ウ ト の complex 雑 さ に masato す る を line っ た. Logical loop の レ イ ア ウ ト complex 雑 さ を comment す る た め に は, ま ず, complex 雑 さ の set benchmark review 価 を め る necessary が あ る. Benchmark review 価 は kind 々 exam え ら れ る が, theory of に 厳 dense な も の と し て, VLSI モ デ ル on で の レ イ ア ウ ト (の account) を generated す る た め に な computation necessary を with い る こ と が appropriate で あ る と い う conclusion に da し た. Example え ば, あ る tectonic の 乗 calculate apparatus の レ イ ア ウ ト が, ビ ッ ト long n に し seaborne て, decisive チ ュ ー リ ン グ mechanical で log n に proportion す で る field calculation で き る な ら, そ の 乗 calculate apparatus の レ イ ア ウ ト complex 雑 さ は decisive number field で seaborne あ る と す る. こ の evaluation benchmark 価 を に, kind of 々 の 乗 calculate apparatus の レ イ ア ウ ト の generated に な computation necessary の を line っ た. Secondary tselischeva column structure を も つ match type column 乗 calculate apparatus や binary timber structure を も つ is 2 into a long wooden を with い た 乗 calculate is の レ イ ア ウ ト complex 雑 さ は, decisive moral field で あ る こ と を に easily shown す こ と が で き る. This study で は, hiroo く know ら れ て い る high-speed 乗 calculate apparatus で あ る Wallace wood を with い た 乗 calculate apparatus や こ れ を generalization し た parallel カ ウ ン type タ 乗 calculate apparatus の レ イ ア ウ ト の generated に to す る computation に つ い を line っ て research た. 乗 calculate is の レ イ ア ウ ト problem が グ ラ フ の linear configuration problems に 帰 the で き る こ と を し, カ ッ ト picture least の configuration を め る ア ル ゴ リ ズ ム を open 発 し, そ の computation を Ming ら か に し た. そ の results, 厳 な minimal solution は limit the number of seaborne field decisive チ ュ ー リ ン グ mechanical で computing で き, kismet の approximate solutions within times を number field limited decisive seaborne チ ュ ー リ ン グ mechanical で computing で き る こ と が Ming ら か に な っ た. 厳 dense な minimal solution を number field limited decisive seaborne チ ュ ー リ ン グ mechanical で computing で き る か ど う か は unresolved で あ る. This study で obtained られた, カット amplitude minimum linear configuration ア ゴリズムに ゴリズムに related する research results を, present, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systemsに submitting である.