课题基金 / 基金详情

Low power design and verification

Low power design and verification
低功耗设计与验证
批准号:
414162-2011
负责人:
Veneris, Andreas
金额:
$1.82万
依托单位:
依托单位国家:
加拿大
项目类别:
Engage Grants Program
财政年份:
2011
资助国家:
加拿大
项目状态:
已结题
起止时间:
2011-01-01 至 2012-12-31

项目摘要

项目成果

Veneris, Andreas的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The semiconductor industry has revolutionized our lives in many different ways. Electronic technology perform tasks that are essential for our day-to-day lives. The impact of such technology use has been positive in many metrics. This technological success can be attributed to the design of faster and smaller chips that can perform a varied range of functionalities. The adverse effect of this advancement is the increase in power consumption of the chip beyond acceptable limits. Therefore, for chip reliability issues, for portability, and also for environmental purposes, it becomes an urgent necessity to design semiconductor products that have low power consumption with no adverse effect on their performance. Thus low power design is now at the forefront in the design of high performance integrated circuits. Low power and, indeed, low energy design metholdologies are increasingly becoming the principal focus for current and future generation VLSI chips. This work will develop a novel algorithm that would enhance the power savings in chips, reduce design time and address numerous design complexities in today's computer-aided design (CAD) flow. The primary goal is to develop low power methodology for the next egneration chips that can support far more demanding applications while consume much less power.
期刊论文(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
  • 依托单位:
国内基金
海外基金
基于切平面受限Power图的快速重新网格化方法
  • 批准号:
    62372152
  • 项目类别:
    面上项目
  • 资助金额:
    50万元
  • 批准年份:
    2023
  • 负责人:
    郑利平
  • 依托单位:
多约束Power图快速计算算法研究
  • 批准号:
    61972128
  • 项目类别:
    面上项目
  • 资助金额:
    58.0万元
  • 批准年份:
    2019
  • 负责人:
    郑利平
  • 依托单位:
复合气体条件下可逆固体氧化物电池“电-气”转换特性研究
  • 批准号:
    51877173
  • 项目类别:
    面上项目
  • 资助金额:
    61.0万元
  • 批准年份:
    2018
  • 负责人:
    周峻
  • 依托单位:
网格曲面上质心Power图的快速计算及应用
  • 批准号:
    61772016
  • 项目类别:
    面上项目
  • 资助金额:
    46.0万元
  • 批准年份:
    2017
  • 负责人:
    辛士庆
  • 依托单位: