U.S.-Germany Cooperative Research: Spectral Techniques in VLSI CAD Using AND/OR Graphs

美德合作研究:使用 AND/OR 图的 VLSI CAD 频谱技术

基本信息

  • 批准号:
    9815371
  • 负责人:
  • 金额:
    $ 0.81万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1999
  • 资助国家:
    美国
  • 起止时间:
    1999-03-01 至 1999-10-12
  • 项目状态:
    已结题

项目摘要

9815371ThorntonThis award supports the PI, Mitchell Thornton in a cooperation with Rolf and Nicole Drechsler of the Institute for Information Sciences at the University of Freiburg, Germany. The research focus is on the use of a data structure different from the conventional Decision Diagram for the representation of Boolean functions. The new structure is the AND/OR graph, and it allows for compact functional representation and for the representation of functions whose exact Decision Diagrams might be unworkably large. The U.S. and German groups bring complementary expertise to the project. The Germans have experience in the implementation of decision diagram packages and in alternative decision diagram types. The U.S. group has extensive experience in spectral methods.
9815371桑顿该奖项支持PI,米切尔桑顿与罗尔夫和妮可Drechsler的信息科学研究所在弗赖堡,德国大学的合作。 研究的重点是使用一种不同于传统的决策图的数据结构来表示布尔函数。 新的结构是AND/OR图,它允许紧凑的功能表示和表示的功能,其确切的决策图可能是无法工作的大。美国和德国集团为该项目带来了互补的专业知识。 德国人在实现决策图包和替代决策图类型方面有经验。 该美国小组在光谱方法方面有着丰富的经验。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

Mitchell Thornton其他文献

Mitchell Thornton的其他文献

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

{{ truncateString('Mitchell Thornton', 18)}}的其他基金

SHF: Small: A Register Transfer Level Toolset for Low Power Asynchronous Design Using Null Convention Logic
SHF:小型:使用空约定逻辑的低功耗异步设计的寄存器传输级工具集
  • 批准号:
    1116405
  • 财政年份:
    2011
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
Statistical Equivalence Checking Using Partial Haar Spectral Diagrams
使用部分 Haar 谱图进行统计等价检查
  • 批准号:
    0243358
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
Evolutionary Algorithms for Symbolic FSM Equivalence Checking
符号 FSM 等价性检查的进化算法
  • 批准号:
    0243365
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Continuing Grant
Evolutionary Algorithms for Symbolic FSM Equivalence Checking
符号 FSM 等价性检查的进化算法
  • 批准号:
    0097246
  • 财政年份:
    2001
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Continuing Grant
Statistical Equivalence Checking Using Partial Haar Spectral Diagrams
使用部分 Haar 谱图进行统计等价检查
  • 批准号:
    0000891
  • 财政年份:
    2000
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
Design and Implementation of OBDD Variable Ordering/ Reordering Methods
OBDD变量排序/重排序方法的设计与实现
  • 批准号:
    0096055
  • 财政年份:
    1999
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Continuing Grant
U.S.-Germany Cooperative Research: Spectral Techniques in VLSI CAD Using AND/OR Graphs
美德合作研究:使用 AND/OR 图的 VLSI CAD 频谱技术
  • 批准号:
    0096008
  • 财政年份:
    1999
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
Design and Implementation of OBDD Variable Ordering/ Reordering Methods
OBDD变量排序/重排序方法的设计与实现
  • 批准号:
    9633085
  • 财政年份:
    1996
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Continuing Grant

相似海外基金

U.S.-Germany: Cooperative Research on Surfactant Self-Aggregation on Solid Surfaces and in Pores
美德:固体表面和孔隙中表面活性剂自聚集的合作研究
  • 批准号:
    0541956
  • 财政年份:
    2006
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S.-Germany Cooperative Research: Invigorating the Chemistry of Nitriles: An Exploration of Functionalized Grignard Reagents
美德合作研究:激发腈化学:功能化格氏试剂的探索
  • 批准号:
    0203145
  • 财政年份:
    2003
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S.-Germany Cooperative Research: Understanding of the Defect Chemistry of Barium Titanates for Dielectric Applications Using Electron Energy-Loss Spectroscopy
美德合作研究:利用电子能量损失光谱了解介电应用钛酸钡的缺陷化学
  • 批准号:
    0314159
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S. Germany Cooperative Research: Three-Dimensional Imaging of Ionizing Collisions
美德合作研究:电离碰撞三维成像
  • 批准号:
    0224943
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S.-Germany Cooperative Research: Representation Rings of Finite Groups
美德合作研究:有限群表示环
  • 批准号:
    0128969
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S.-Germany Cooperative Research: Rate Effects in the Fracture Toughness of Ferroelectric Ceramics under Mechanical Loading
美德合作研究:机械载荷下铁电陶瓷断裂韧性的速率效应
  • 批准号:
    0129025
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S.-Germany Cooperative Research: The Biochemical Function of Basonuclin in RNA Polymerase Transcription
美德合作研究:Basonuclin 在 RNA 聚合酶转录中的生化功能
  • 批准号:
    0202120
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S.-Germany Cooperative Research: A Formal Methods Tool Suite for Education
美德合作研究:教育的正式方法工具套件
  • 批准号:
    0128838
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S.-Germany Cooperative Research: Stochastic Resonance and Synchronization in Oscillating Neurons
美德合作研究:振荡神经元的随机共振和同步
  • 批准号:
    0128974
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
U.S.-Germany Cooperative Research: Effect of Thyroid Endocrine Disruptors on Gene Expression, Thyroid Homeostasis, and Reproduction in Amphibians and Fish
美德合作研究:甲状腺内分泌干扰物对两栖动物和鱼类基因表达、甲状腺稳态和繁殖的影响
  • 批准号:
    0129059
  • 财政年份:
    2002
  • 资助金额:
    $ 0.81万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了