Gate-level timing verifier based on waveform narrowing
Gate-level timing verifier based on waveform narrowing
批准号:
169880-1994
负责人:
Cerny, Edouard
金额:
$2.7万
依托单位:
依托单位国家:
加拿大
项目类别:
Collaborative Research and Development Grants
财政年份:
1994
资助国家:
加拿大
项目状态:
已结题
起止时间:
1994-01-01 至 1995-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
-
依托单位:
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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
外周犬尿氨酸通过脑膜免疫致海马BDNF水平降低介导术后认知功能障碍
-
批准号:82371193
-
项目类别:面上项目
-
资助金额:49.00万元
-
批准年份:2023
-
负责人:苏殿三
-
依托单位:
海马神经元胆固醇代谢重编程致染色质组蛋白乙酰化水平降低介导老年小鼠术后认知功能障碍
-
批准号:82371192
-
项目类别:面上项目
-
资助金额:49.00万元
-
批准年份:2023
-
负责人:田婕
-
依托单位:
粒子level set方法的改进与空间自适应波浪模型并行化研究
-
批准号:52171245
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:黄筱云
-
依托单位:
多层次纳米叠层块体复合材料的仿生设计、制备及宽温域增韧研究
-
批准号:51973054
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2019
-
负责人:王建锋
-
依托单位:
无振荡可压缩两相流切割网格方法及其在激波诱导气泡塌陷中的应用研究
-
批准号:11702272
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2017
-
负责人:林健宇
-
依托单位:
含有表面活性剂的液体浸润的模型和数值计算
-
批准号:11601221
-
项目类别:青年科学基金项目
-
资助金额:18.0万元
-
批准年份:2016
-
负责人:张振
-
依托单位:
基于高频限价指令簿的流动性度量及对市场波动影响机制研究
-
批准号:71601091
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2016
-
负责人:孙便霞
-
依托单位:
基于Level Set方法的三维爆炸与冲击仿真软件开发及其应用
-
批准号:11502121
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2015
-
负责人:张莉
-
依托单位:
非球对称单气穴声致发光问题的直接数值模拟
-
批准号:11501173
-
项目类别:青年科学基金项目
-
资助金额:18.0万元
-
批准年份:2015
-
负责人:丁岩
-
依托单位:
层级稀疏化的Mid-Level特征空间下高分辨率遥感影像检索方法研究
-
批准号:41401376
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2014
-
负责人:陈建胜
-
依托单位: