课题基金 / 基金详情

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

U.S.-Germany Cooperative Research: Spectral Techniques in VLSI CAD Using AND/OR Graphs
美德合作研究：使用 AND/OR 图的 VLSI CAD 频谱技术
批准号：
9815371
负责人：
Mitchell Thornton
金额：
$0.81万
依托单位：
University of Arkansas
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1999
资助国家：
美国
项目状态：
已结题
起止时间：
1999-03-01 至 1999-10-12
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9815371&HistoricalAwards=false
关键词：
U.S.GermanyCooperativeResearchSpectral

项目摘要

项目成果

Mitchell Thornton的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: A Register Transfer Level Toolset for Low Power Asynchronous Design Using Null Convention Logic
  • 批准号：
    1116405
  • 项目类别：
    Standard Grant
  • 资助金额：
    $35.0万
  • 财政年份：
    2011
  • 负责人：
    Mitchell Thornton
  • 依托单位：
    Southern Methodist University
Statistical Equivalence Checking Using Partial Haar Spectral Diagrams
  • 批准号：
    0243358
  • 项目类别：
    Standard Grant
  • 资助金额：
    $1.71万
  • 财政年份：
    2002
  • 负责人：
    Mitchell Thornton
  • 依托单位：
    Southern Methodist University
Evolutionary Algorithms for Symbolic FSM Equivalence Checking
  • 批准号：
    0243365
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $14.77万
  • 财政年份：
    2002
  • 负责人：
    Mitchell Thornton
  • 依托单位：
    Southern Methodist University
Evolutionary Algorithms for Symbolic FSM Equivalence Checking
  • 批准号：
    0097246
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $16.14万
  • 财政年份：
    2001
  • 负责人：
    Mitchell Thornton
  • 依托单位：
    Mississippi State University
海外基金