From specification to correct digital microelectronic systems
From specification to correct digital microelectronic systems
批准号:
167079-1994
负责人:
Cerny, Edouard
金额:
$14.12万
依托单位:
依托单位国家:
加拿大
项目类别:
Strategic Projects - Group
财政年份:
1995
资助国家:
加拿大
项目状态:
已结题
起止时间:
1995-01-01 至 1996-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Design verification for microelectronics systems
-
批准号:3879-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.02万
-
财政年份:2001
-
负责人:Cerny, Edouard
-
依托单位:
Design verification for microelectronics systems
-
批准号:3879-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$4.08万
-
财政年份:2000
-
负责人:Cerny, Edouard
-
依托单位:
Block-based design: implementation-independent descriptions and tools for design verification and synthesis
-
批准号:201836-1997
-
项目类别:Strategic Projects - Group
-
资助金额:$13.37万
-
财政年份:1999
-
负责人:Cerny, Edouard
-
依托单位:
Design of reliable microelectronics systems
-
批准号:3879-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.91万
-
财政年份:1999
-
负责人:Cerny, Edouard
-
依托单位:
Design of reliable microelectronics systems
-
批准号:3879-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.73万
-
财政年份:1998
-
负责人:Cerny, Edouard
-
依托单位:
Block-based design: implementation-independent descriptions and tools for design verification and synthesis
-
批准号:201836-1997
-
项目类别:Strategic Projects - Group
-
资助金额:$13.37万
-
财政年份:1998
-
负责人:Cerny, Edouard
-
依托单位:
Design of reliable microelectronics systems
-
批准号:3879-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.39万
-
财政年份:1997
-
负责人:Cerny, Edouard
-
依托单位:
Block-based design: implementation-independent descriptions and tools for design verification and synthesis
-
批准号:201836-1997
-
项目类别:Strategic Projects - Group
-
资助金额:$13.81万
-
财政年份:1997
-
负责人:Cerny, Edouard
-
依托单位:
From specification to correct digital microelectronic systems
-
批准号:167079-1994
-
项目类别:Strategic Projects - Group
-
资助金额:$12.99万
-
财政年份:1996
-
负责人:Cerny, Edouard
-
依托单位:
Gate-level timing verifier based on waveform narrowing
-
批准号:169880-1994
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$2.7万
-
财政年份:1996
-
负责人:Cerny, Edouard
-
依托单位:
Design of reliable microelectronics systems
-
批准号:3879-1996
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.39万
-
财政年份:1996
-
负责人:Cerny, Edouard
-
依托单位:
Gate-level timing verifier based on waveform narrowing
-
批准号:169880-1994
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$2.7万
-
财政年份:1995
-
负责人:Cerny, Edouard
-
依托单位:
Design of reliable digital systems
-
批准号:3879-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.84万
-
财政年份:1995
-
负责人:Cerny, Edouard
-
依托单位:
System specification, verification and synthesis using hierarchical annotated action diagrams
-
批准号:192037-1995
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$0.73万
-
财政年份:1995
-
负责人:Cerny, Edouard
-
依托单位:
Interface specification and verification in digital systems
-
批准号:134350-1992
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$2.88万
-
财政年份:1994
-
负责人:Cerny, Edouard
-
依托单位:
Design of reliable digital systems
-
批准号:3879-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.84万
-
财政年份:1994
-
负责人:Cerny, Edouard
-
依托单位:
From specification to correct digital microelectronic systems
-
批准号:167079-1994
-
项目类别:Strategic Projects - Group
-
资助金额:$12.0万
-
财政年份:1994
-
负责人:Cerny, Edouard
-
依托单位:
Gate-level timing verifier based on waveform narrowing
-
批准号:169880-1994
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$2.7万
-
财政年份:1994
-
负责人:Cerny, Edouard
-
依托单位:
Design of reliable digital systems
-
批准号:3879-1992
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.84万
-
财政年份:1993
-
负责人:Cerny, Edouard
-
依托单位:
Verification and test of digital microelectronic systems
-
批准号:117759-1991
-
项目类别:Strategic Projects - Group
-
资助金额:$11.29万
-
财政年份:1993
-
负责人:Cerny, Edouard
-
依托单位:
海外基金