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
批准号:
9815371
负责人:
Mitchell Thornton
金额:
$0.81万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1999
资助国家:
美国
项目状态:
已结题
起止时间:
1999-03-01 至 1999-10-12
中文摘要
9815371桑顿该奖项支持PI,米切尔桑顿与罗尔夫和妮可Drechsler的信息科学研究所在弗赖堡,德国大学的合作。 研究的重点是使用一种不同于传统的决策图的数据结构来表示布尔函数。 新的结构是AND/OR图,它允许紧凑的功能表示和表示的功能,其确切的决策图可能是无法工作的大。美国和德国集团为该项目带来了互补的专业知识。 德国人在实现决策图包和替代决策图类型方面有经验。 该美国小组在光谱方法方面有着丰富的经验。
英文摘要
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
-
依托单位:
Statistical Equivalence Checking Using Partial Haar Spectral Diagrams
-
批准号:0243358
-
项目类别:Standard Grant
-
资助金额:$1.71万
-
财政年份:2002
-
负责人:Mitchell Thornton
-
依托单位:
Evolutionary Algorithms for Symbolic FSM Equivalence Checking
-
批准号:0243365
-
项目类别:Continuing Grant
-
资助金额:$14.77万
-
财政年份:2002
-
负责人:Mitchell Thornton
-
依托单位:
Evolutionary Algorithms for Symbolic FSM Equivalence Checking
-
批准号:0097246
-
项目类别:Continuing Grant
-
资助金额:$16.14万
-
财政年份:2001
-
负责人:Mitchell Thornton
-
依托单位:
Statistical Equivalence Checking Using Partial Haar Spectral Diagrams
-
批准号:0000891
-
项目类别:Standard Grant
-
资助金额:$13.61万
-
财政年份:2000
-
负责人:Mitchell Thornton
-
依托单位:
Design and Implementation of OBDD Variable Ordering/ Reordering Methods
-
批准号:0096055
-
项目类别:Continuing Grant
-
资助金额:$3.09万
-
财政年份:1999
-
负责人:Mitchell Thornton
-
依托单位:
U.S.-Germany Cooperative Research: Spectral Techniques in VLSI CAD Using AND/OR Graphs
-
批准号:0096008
-
项目类别:Standard Grant
-
资助金额:$0.51万
-
财政年份:1999
-
负责人:Mitchell Thornton
-
依托单位:
Design and Implementation of OBDD Variable Ordering/ Reordering Methods
-
批准号:9633085
-
项目类别:Continuing Grant
-
资助金额:$10.55万
-
财政年份:1996
-
负责人:Mitchell Thornton
-
依托单位:
海外基金