Block-based design: implementation-independent descriptions and tools for design verification and synthesis
Block-based design: implementation-independent descriptions and tools for design verification and synthesis
批准号:
201836-1997
负责人:
Cerny, Edouard
金额:
$13.81万
依托单位:
依托单位国家:
加拿大
项目类别:
Strategic Projects - Group
财政年份:
1997
资助国家:
加拿大
项目状态:
已结题
起止时间:
1997-01-01 至 1998-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
-
依托单位:
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
-
依托单位:
From specification to correct digital microelectronic systems
-
批准号:167079-1994
-
项目类别:Strategic Projects - Group
-
资助金额:$14.12万
-
财政年份:1995
-
负责人: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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
-
批准号:--
-
项目类别:外国青年学者研究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:江洋子
-
依托单位:
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
-
批准号:--
-
项目类别:外国学者研究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:YU BYUNGJUN
-
依托单位:
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
-
批准号:W2433169
-
项目类别:外国学者研究基金项目
-
资助金额:--
-
批准年份:2024
-
负责人:HAOFEI ZHANG
-
依托单位:
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
-
批准号:52301178
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:夏万顺
-
依托单位:
NbZrTi基多主元合金中化学不均匀性对辐照行为的影响研究
-
批准号:12305290
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:苏钲雄
-
依托单位:
眼表菌群影响糖尿病患者干眼发生的人群流行病学研究
-
批准号:82371110
-
项目类别:面上项目
-
资助金额:49.00万元
-
批准年份:2023
-
负责人:邹海东
-
依托单位:
镍基UNS N10003合金辐照位错环演化机制及其对力学性能的影响研究
-
批准号:12375280
-
项目类别:面上项目
-
资助金额:53.00万元
-
批准年份:2023
-
负责人:黄鹤飞
-
依托单位:
CuAgSe基热电材料的结构特性与构效关系研究
-
批准号:22375214
-
项目类别:面上项目
-
资助金额:50.00万元
-
批准年份:2023
-
负责人:周钲洋
-
依托单位:
A study on prototype flexible multifunctional graphene foam-based sensing grid (柔性多功能石墨烯泡沫传感网格原型研究)
-
批准号:--
-
项目类别:--
-
资助金额:20万元
-
批准年份:2020
-
负责人:SAGAR RIZWAN UR REHMAN
-
依托单位:
基于大数据定量研究城市化对中国季节性流感传播的影响及其机理
-
批准号:82003509
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:雷浩
-
依托单位: