Effiziente Algorithmen zur formalen Verifikation von VLSI-Designs
Effiziente Algorithmen zur formalen Verifikation von VLSI-Designs
用于 VLSI 设计形式验证的高效算法
批准号：
5210294
负责人：
Professor Dr. Hans Jürgen Prömel
金额：
$0.0万
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1995
资助国家：
德国
项目状态：
已结题
起止时间：
1994-12-31 至 1998-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Evolution und Phasenübergänge
-
批准号：5299526
-
项目类别：Research Units
-
资助金额：$0.0万
-
财政年份：2001
-
负责人：Professor Dr. Hans Jürgen Prömel
-
依托单位：
Approximative, randomisierte und probalistische Algorithmen für kombinatorische Optimierungsprobleme
-
批准号：5174648
-
项目类别：Research Grants
-
资助金额：$0.0万
-
财政年份：1999
-
负责人：Professor Dr. Hans Jürgen Prömel
-
依托单位：
海外基金
