Low power design using power gating
Low power design using power gating
批准号:
430447-2012
负责人:
Veneris, Andreas
金额:
$2.56万
依托单位:
依托单位国家:
加拿大
项目类别:
Collaborative Research and Development Grants
财政年份:
2013
资助国家:
加拿大
项目状态:
已结题
起止时间:
2013-01-01 至 2014-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The semiconductor industry has significantly transformed almost every aspect of our lives in many different
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
-
批准号:RGPIN-2019-04354
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2022
-
负责人:Veneris, Andreas
-
依托单位:
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
-
批准号:RGPIN-2019-04354
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2021
-
负责人:Veneris, Andreas
-
依托单位:
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
-
批准号:RGPIN-2019-04354
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2020
-
负责人:Veneris, Andreas
-
依托单位:
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
-
批准号:RGPIN-2019-04354
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2019
-
负责人:Veneris, Andreas
-
依托单位:
Multimodal Representation Learning for Retail Product Ontology
-
批准号:522736-2018
-
项目类别:Engage Plus Grants Program
-
资助金额:$0.91万
-
财政年份:2018
-
负责人:Veneris, Andreas
-
依托单位:
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
-
批准号:RGPIN-2014-04275
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.26万
-
财政年份:2018
-
负责人:Veneris, Andreas
-
依托单位:
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
-
批准号:RGPIN-2014-04275
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.26万
-
财政年份:2017
-
负责人:Veneris, Andreas
-
依托单位:
Multimodal representation learning for retail product ontology
-
批准号:508083-2017
-
项目类别:Engage Grants Program
-
资助金额:$1.82万
-
财政年份:2017
-
负责人:Veneris, Andreas
-
依托单位:
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
-
批准号:RGPIN-2014-04275
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.26万
-
财政年份:2016
-
负责人:Veneris, Andreas
-
依托单位:
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
-
批准号:RGPIN-2014-04275
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.26万
-
财政年份:2015
-
负责人:Veneris, Andreas
-
依托单位:
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
-
批准号:RGPIN-2014-04275
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.26万
-
财政年份:2014
-
负责人:Veneris, Andreas
-
依托单位:
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
-
批准号:227044-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2013
-
负责人:Veneris, Andreas
-
依托单位:
Low power design using power gating
-
批准号:430447-2012
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$2.56万
-
财政年份:2012
-
负责人:Veneris, Andreas
-
依托单位:
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
-
批准号:227044-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2012
-
负责人:Veneris, Andreas
-
依托单位:
FPGA Functional Debug and Verification
-
批准号:428928-2011
-
项目类别:Engage Grants Program
-
资助金额:$1.82万
-
财政年份:2011
-
负责人:Veneris, Andreas
-
依托单位:
Low power design and verification
-
批准号:414162-2011
-
项目类别:Engage Grants Program
-
资助金额:$1.82万
-
财政年份:2011
-
负责人:Veneris, Andreas
-
依托单位:
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
-
批准号:227044-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2011
-
负责人:Veneris, Andreas
-
依托单位:
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
-
批准号:227044-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2010
-
负责人:Veneris, Andreas
-
依托单位:
Performance-driven SAT- and QBF-based solutions for a modern VLSI verification, debugging and test environment
-
批准号:227044-2009
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$3.35万
-
财政年份:2009
-
负责人:Veneris, Andreas
-
依托单位:
Logic debugging using boolean satisfiability in high performance digital VLSI designs
-
批准号:227044-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:2008
-
负责人:Veneris, Andreas
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于切平面受限Power图的快速重新网格化方法
-
批准号:62372152
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:郑利平
-
依托单位:
多约束Power图快速计算算法研究
-
批准号:61972128
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:郑利平
-
依托单位:
复合气体条件下可逆固体氧化物电池“电-气”转换特性研究
-
批准号:51877173
-
项目类别:面上项目
-
资助金额:61.0万元
-
批准年份:2018
-
负责人:周峻
-
依托单位:
网格曲面上质心Power图的快速计算及应用
-
批准号:61772016
-
项目类别:面上项目
-
资助金额:46.0万元
-
批准年份:2017
-
负责人:辛士庆
-
依托单位:
离散最优传输问题,闵可夫斯基问题和蒙奇-安培方程中的变分原理和Power图
-
批准号:11371220
-
项目类别:面上项目
-
资助金额:50.0万元
-
批准年份:2013
-
负责人:史作强
-
依托单位:
几何约束视角下异构群体队形光滑变换控制方法研究
-
批准号:61300118
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2013
-
负责人:郑利平
-
依托单位:
云计算环境下数据中心的power capping关键问题研究
-
批准号:61272460
-
项目类别:面上项目
-
资助金额:81.0万元
-
批准年份:2012
-
负责人:齐勇
-
依托单位:
基于信道Time/Power度量指标的TOA测距误差模型及其应用研究
-
批准号:61172049
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2011
-
负责人:王沁
-
依托单位:
低功耗集成多级放大器的设计研究
-
批准号:60976028
-
项目类别:面上项目
-
资助金额:35.0万元
-
批准年份:2009
-
负责人:彭晓宏
-
依托单位:
离散谱聚合与谱廓受限的传输理论与技术的研究
-
批准号:60972057
-
项目类别:面上项目
-
资助金额:36.0万元
-
批准年份:2009
-
负责人:张朝阳
-
依托单位: