種々の決定グラフを用いた論理関数表現とその回路合成への応用に関する研究

各种决策图的逻辑函数表示及其在电路综合中的应用研究

基本信息

  • 批准号:
    12780212
  • 负责人:
  • 金额:
    $ 1.34万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    2000
  • 资助国家:
    日本
  • 起止时间:
    2000 至 2001
  • 项目状态:
    已结题

项目摘要

1.論理関数表現に用いられる種々の決定グラフのクラスについて、グラフの構成に関する制約条件と計算能力の関係を詳細に解析した。具体的には、決定グラフと等価な計算モデルである分岐プログラムの一種である、k回読みブロック化分岐プログラムについて、制約条件に新たに変数順序に関するパラメータを加え、k回読みl変数順序ブロック化分岐プログラムを定式化した。そして、これらのグラフの表現能力に関する性質をいくつか示し、これまでの成果をまとめ、結果を公表した。2.論理回路のグラフ表現における規則性をLSIレイアウトに反映させ、高品質のLSI回路を設計する手法を提案した。この手法では、回路のグラフ構造とハードウェア記述言語による記述から規則的な構造を抽出し、これに対しグラフの配置問題のアルゴリズムを適用することによりLSI上の回路素子の配置を決定する。3.上のLSI回路設計手法のの有効性を示すための予備実験を行なった。また、評価のためLSIチップの試作を行なった。
1. The relationship between the constraints and computational ability of logical relationship expression is analyzed in detail. Specific, decision, etc., calculation, classification, classification. The nature, results, and results of the performance of the product are presented. 2. Design method of LSI circuit with regularity and high quality in logic circuit performance This technique is used to determine the configuration of circuit elements on LSI by extracting the configuration of circuit elements from the configuration of circuit elements on LSI. 3. The design method of LSI circuit is effective, and the preparation is feasible.また、评価のためLSIチップの试作を行なった。

项目成果

期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
広田, 高木, 高木: "k回読みl変数順序ブロック化分岐プログラムの計算能力について"電子情報通信学会 技術研究報告. COMP 2001-12. 57-64 (2001)
Hirota、Takagi、Takagi:“关于 k 读取 l 变量有序阻塞分支程序的计算性能”IEICE COMP 2001-12 (2001)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
小川, 高木, 高木: "算術演算回路のレイアウトのためのビットスライス構造の抽出"電子情報通信学会 技術研究報告. CPSY 2001-63. 13-18 (2001)
小川、高木、高木:“算术运算电路布局的位片结构的提取” IEICE 技术研究报告 2001-63 (2001)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
甲斐,儘田,高木,高木: "二分決定グラフを用いた論理関数の非単純分解アルゴリズム"電子情報通信学会技術研究報告、コンピュータシステム. CPSY2000-63. 23-28 (2000)
Kai、Masada、Takagi、Takagi:“使用二元决策图的逻辑函数的非简单分解算法”IEICE 技术研究报告,计算机系统 23-28。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

高木 一義其他文献

高木 一義的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('高木 一義', 18)}}的其他基金

次世代集積回路設計のための決定グラフによる論理関数表現に関する研究
下一代集成电路设计中决策图逻辑函数表示研究
  • 批准号:
    17700010
  • 财政年份:
    2005
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)

相似海外基金

論理関数の複雑さの下限導出問題に対する極限組み合わせ論的アプローチ
逻辑函数复杂度下界求导问题的极限组合方法
  • 批准号:
    17700001
  • 财政年份:
    2005
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
次世代集積回路設計のための決定グラフによる論理関数表現に関する研究
下一代集成电路设计中决策图逻辑函数表示研究
  • 批准号:
    17700010
  • 财政年份:
    2005
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
論理関数表現のモデルとシンボリックアルゴリズム
逻辑函数表达式模型和符号算法
  • 批准号:
    16092207
  • 财政年份:
    2004
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
論理関数の近似計算と厳密計算の困難さのギャップに関する研究
逻辑函数近似计算与精确计算难度差距研究
  • 批准号:
    15700003
  • 财政年份:
    2003
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
論理関数に基づくデータからの構造的知識の獲得に関する研究
基于逻辑函数从数据中获取结构知识的研究
  • 批准号:
    15700019
  • 财政年份:
    2003
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
近似法に基づく論理関数の複雑さの評価に関する研究
基于近似方法评价逻辑函数复杂度的研究
  • 批准号:
    11780182
  • 财政年份:
    1999
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
論理関数のグラフ表現の性質と双対比への応用
逻辑函数的图形表示的性质及其对偶对比的应用
  • 批准号:
    09780267
  • 财政年份:
    1997
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
正則言語による論理関数の計算量解析
使用正则语言进行逻辑函数的计算复杂度分析
  • 批准号:
    08640307
  • 财政年份:
    1996
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
多値論理関数によるファジィ制御規則の自動抽出に関する研究
利用多值逻辑函数自动提取模糊控制规则的研究
  • 批准号:
    07780342
  • 财政年份:
    1995
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
論理関数処理による記号シミュレーションと無解釈評価に基づくプロセッサの形式的検証
基于符号模拟和使用逻辑函数处理的非解释评估的处理器形式验证
  • 批准号:
    07780258
  • 财政年份:
    1995
  • 资助金额:
    $ 1.34万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了