Block-based design: implementation-independent descriptions and tools for design verification and synthesis
基于块的设计:用于设计验证和综合的独立于实现的描述和工具
基本信息
- 批准号:201836-1997
- 负责人:
- 金额:$ 13.81万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Strategic Projects - Group
- 财政年份:1997
- 资助国家:加拿大
- 起止时间:1997-01-01 至 1998-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Cerny, Edouard其他文献
Cerny, Edouard的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Cerny, Edouard', 18)}}的其他基金
Design verification for microelectronics systems
微电子系统的设计验证
- 批准号:
3879-2000 - 财政年份:2001
- 资助金额:
$ 13.81万 - 项目类别:
Discovery Grants Program - Individual
Design verification for microelectronics systems
微电子系统的设计验证
- 批准号:
3879-2000 - 财政年份:2000
- 资助金额:
$ 13.81万 - 项目类别:
Discovery Grants Program - Individual
Block-based design: implementation-independent descriptions and tools for design verification and synthesis
基于块的设计:用于设计验证和综合的独立于实现的描述和工具
- 批准号:
201836-1997 - 财政年份:1999
- 资助金额:
$ 13.81万 - 项目类别:
Strategic Projects - Group
Design of reliable microelectronics systems
可靠的微电子系统设计
- 批准号:
3879-1996 - 财政年份:1999
- 资助金额:
$ 13.81万 - 项目类别:
Discovery Grants Program - Individual
Design of reliable microelectronics systems
可靠的微电子系统设计
- 批准号:
3879-1996 - 财政年份:1998
- 资助金额:
$ 13.81万 - 项目类别:
Discovery Grants Program - Individual
Block-based design: implementation-independent descriptions and tools for design verification and synthesis
基于块的设计:用于设计验证和综合的独立于实现的描述和工具
- 批准号:
201836-1997 - 财政年份:1998
- 资助金额:
$ 13.81万 - 项目类别:
Strategic Projects - Group
Design of reliable microelectronics systems
可靠的微电子系统设计
- 批准号:
3879-1996 - 财政年份:1997
- 资助金额:
$ 13.81万 - 项目类别:
Discovery Grants Program - Individual
From specification to correct digital microelectronic systems
从规范到正确的数字微电子系统
- 批准号:
167079-1994 - 财政年份:1996
- 资助金额:
$ 13.81万 - 项目类别:
Strategic Projects - Group
Gate-level timing verifier based on waveform narrowing
基于波形窄化的门级时序验证器
- 批准号:
169880-1994 - 财政年份:1996
- 资助金额:
$ 13.81万 - 项目类别:
Collaborative Research and Development Grants
Design of reliable microelectronics systems
可靠的微电子系统设计
- 批准号:
3879-1996 - 财政年份:1996
- 资助金额:
$ 13.81万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
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
- 资助金额:万元
- 项目类别:外国学者研究基金项目
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
- 批准号:W2433169
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金项目
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
- 批准号:52301178
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
NbZrTi基多主元合金中化学不均匀性对辐照行为的影响研究
- 批准号:12305290
- 批准年份:2023
- 资助金额:30.00 万元
- 项目类别:青年科学基金项目
眼表菌群影响糖尿病患者干眼发生的人群流行病学研究
- 批准号:82371110
- 批准年份:2023
- 资助金额:49.00 万元
- 项目类别:面上项目
镍基UNS N10003合金辐照位错环演化机制及其对力学性能的影响研究
- 批准号:12375280
- 批准年份:2023
- 资助金额:53.00 万元
- 项目类别:面上项目
CuAgSe基热电材料的结构特性与构效关系研究
- 批准号:22375214
- 批准年份:2023
- 资助金额:50.00 万元
- 项目类别:面上项目
A study on prototype flexible multifunctional graphene foam-based sensing grid (柔性多功能石墨烯泡沫传感网格原型研究)
- 批准号:
- 批准年份:2020
- 资助金额:20 万元
- 项目类别:
基于大数据定量研究城市化对中国季节性流感传播的影响及其机理
- 批准号:82003509
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Structure-based design of stapled peptides to target Gag-Pol and INI1 interaction to block assembly
基于结构的钉合肽设计,以靶向 Gag-Pol 和 INI1 相互作用来阻止组装
- 批准号:
10302316 - 财政年份:2020
- 资助金额:
$ 13.81万 - 项目类别:
A Study of Design Principles for Tamper-Resistant Logic-Based Lightweight Block Ciphers
基于防篡改逻辑的轻量级分组密码设计原理研究
- 批准号:
20K11817 - 财政年份:2020
- 资助金额:
$ 13.81万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of functional supramolecular crystalline nanomaterials based on rational design of super-quaternary structures of protein nanobuilding block complexes
基于蛋白质纳米积木复合物超四级结构的合理设计开发功能性超分子结晶纳米材料
- 批准号:
17KK0104 - 财政年份:2018
- 资助金额:
$ 13.81万 - 项目类别:
Fund for the Promotion of Joint International Research (Fostering Joint International Research)
Functional design of strong-adhesive/delay-adhesive by elucidating adhesion mechanism of block copolymer-based pressure-sensitive adhesives
通过阐明嵌段共聚物基压敏粘合剂的粘合机理进行强粘/延迟粘合的功能设计
- 批准号:
17K06008 - 财政年份:2017
- 资助金额:
$ 13.81万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Block-by-Block: The Humboldt Park Campaign Against Diabetes
逐个街区:洪堡公园抗击糖尿病运动
- 批准号:
7924821 - 财政年份:2009
- 资助金额:
$ 13.81万 - 项目类别:
Block-by-Block: The Humboldt Park Campaign Against Diabetes
逐个街区:洪堡公园抗击糖尿病运动
- 批准号:
8084130 - 财政年份:2009
- 资助金额:
$ 13.81万 - 项目类别:
Block-by-Block: The Humboldt Park Campaign Against Diabetes
逐个街区:洪堡公园抗击糖尿病运动
- 批准号:
8308906 - 财政年份:2009
- 资助金额:
$ 13.81万 - 项目类别:
Block-by-Block: The Humboldt Park Campaign Against Diabetes
逐个街区:洪堡公园抗击糖尿病运动
- 批准号:
7625424 - 财政年份:2009
- 资助金额:
$ 13.81万 - 项目类别:
Block-based design: implementation-independent descriptions and tools for design verification and synthesis
基于块的设计:用于设计验证和综合的独立于实现的描述和工具
- 批准号:
201836-1997 - 财政年份:1999
- 资助金额:
$ 13.81万 - 项目类别:
Strategic Projects - Group
Block-based design: implementation-independent descriptions and tools for design verification and synthesis
基于块的设计:用于设计验证和综合的独立于实现的描述和工具
- 批准号:
201836-1997 - 财政年份:1998
- 资助金额:
$ 13.81万 - 项目类别:
Strategic Projects - Group