Verification and test of digital microelectronic systems
Verification and test of digital microelectronic systems
批准号:
117759-1991
负责人:
Cerny, Edouard
金额:
$11.29万
依托单位:
依托单位国家:
加拿大
项目类别:
Strategic Projects - Group
财政年份:
1993
资助国家:
加拿大
项目状态:
已结题
起止时间:
1993-01-01 至 1994-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
-
依托单位:
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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
数字化生态赋能TEST融合型翻译人才培养模型构建与指标体系研究
-
批准号:2023JJ50396
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:张薇
-
依托单位:
基于“Design-Build-Test”循环策略的新型紫色杆菌素组合生物合成研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2021
-
负责人:
-
依托单位:
基于广义测量的多体量子态self-test的实验研究
-
批准号:12104186
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:边志浩
-
依托单位:
破解高质量低费用确定型test-per-clock测试难题的新方法
-
批准号:61804037
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2018
-
负责人:刘铁桥
-
依托单位:
基于Martingale-test理论的无监督人体行为分类算法研究
-
批准号:61403232
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2014
-
负责人:卢国梁
-
依托单位:
毫米波\亚毫米波多频段口径共用全息紧缩场的设计与试验技术研究
-
批准号:61101003
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2011
-
负责人:李志平
-
依托单位: