Low power design and verification
低功耗设计与验证
基本信息
- 批准号:414162-2011
- 负责人:
- 金额:$ 1.82万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Engage Grants Program
- 财政年份:2011
- 资助国家:加拿大
- 起止时间:2011-01-01 至 2012-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
半导体行业以许多不同的方式彻底改变了我们的生活。电子技术执行的任务对我们的日常生活至关重要。在许多指标中,这种技术的使用产生了积极的影响。这种技术上的成功可以归功于设计更快、更小的芯片,这些芯片可以执行各种功能。这种进步的不利影响是芯片的功耗增加超过可接受的限度。因此,为了芯片可靠性问题、便携性以及环境目的,迫切需要设计具有低功耗而对其性能没有不利影响的半导体产品。因此,低功耗设计现在处于高性能集成电路设计的最前沿。低功耗和低能耗设计方法正日益成为当前和下一代超大规模集成电路芯片的主要焦点。这项工作将开发一种新的算法,提高芯片的节能,减少设计时间,并解决当今计算机辅助设计(CAD)流程中的众多设计复杂性。主要目标是为下一代芯片开发低功耗方法,可以支持要求更高的应用,同时消耗更少的功率。
项目成果
期刊论文数量(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 }}
Veneris, Andreas其他文献
Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test
- DOI:
10.1109/tc.2010.74 - 发表时间:
2010-07-01 - 期刊:
- 影响因子:3.7
- 作者:
Mangassarian, Hratch;Veneris, Andreas;Benedetti, Marco - 通讯作者:
Benedetti, Marco
Automated Design Debugging With Maximum Satisfiability
- DOI:
10.1109/tcad.2010.2061270 - 发表时间:
2010-11-01 - 期刊:
- 影响因子:2.9
- 作者:
Chen, Yibin;Safarpour, Sean;Veneris, Andreas - 通讯作者:
Veneris, Andreas
Veneris, Andreas的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Veneris, Andreas', 18)}}的其他基金
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
分布式账本区块链技术的自动化智能合约合成和验证
- 批准号:
RGPIN-2019-04354 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
分布式账本区块链技术的自动化智能合约合成和验证
- 批准号:
RGPIN-2019-04354 - 财政年份:2021
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
分布式账本区块链技术的自动化智能合约合成和验证
- 批准号:
RGPIN-2019-04354 - 财政年份:2020
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Automated Smart Contract Synthesis and Verification for Distributed Ledger Blockchain Technology
分布式账本区块链技术的自动化智能合约合成和验证
- 批准号:
RGPIN-2019-04354 - 财政年份:2019
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Multimodal Representation Learning for Retail Product Ontology
零售产品本体的多模态表示学习
- 批准号:
522736-2018 - 财政年份:2018
- 资助金额:
$ 1.82万 - 项目类别:
Engage Plus Grants Program
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
RTL 和测试台调试中性能驱动自动化的理论和方法
- 批准号:
RGPIN-2014-04275 - 财政年份:2018
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
RTL 和测试台调试中性能驱动自动化的理论和方法
- 批准号:
RGPIN-2014-04275 - 财政年份:2017
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Multimodal representation learning for retail product ontology
零售产品本体的多模态表示学习
- 批准号:
508083-2017 - 财政年份:2017
- 资助金额:
$ 1.82万 - 项目类别:
Engage Grants Program
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
RTL 和测试台调试中性能驱动自动化的理论和方法
- 批准号:
RGPIN-2014-04275 - 财政年份:2016
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Theory and Methodology for Performance-Driven Automation in RTL and Testbench Debugging
RTL 和测试台调试中性能驱动自动化的理论和方法
- 批准号:
RGPIN-2014-04275 - 财政年份:2015
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
基于切平面受限Power图的快速重新网格化方法
- 批准号:62372152
- 批准年份:2023
- 资助金额:50 万元
- 项目类别:面上项目
多约束Power图快速计算算法研究
- 批准号:61972128
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
复合气体条件下可逆固体氧化物电池“电-气”转换特性研究
- 批准号:51877173
- 批准年份:2018
- 资助金额:61.0 万元
- 项目类别:面上项目
网格曲面上质心Power图的快速计算及应用
- 批准号:61772016
- 批准年份:2017
- 资助金额:46.0 万元
- 项目类别:面上项目
离散最优传输问题,闵可夫斯基问题和蒙奇-安培方程中的变分原理和Power图
- 批准号:11371220
- 批准年份:2013
- 资助金额:50.0 万元
- 项目类别:面上项目
几何约束视角下异构群体队形光滑变换控制方法研究
- 批准号:61300118
- 批准年份:2013
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
云计算环境下数据中心的power capping关键问题研究
- 批准号:61272460
- 批准年份:2012
- 资助金额:81.0 万元
- 项目类别:面上项目
基于信道Time/Power度量指标的TOA测距误差模型及其应用研究
- 批准号:61172049
- 批准年份:2011
- 资助金额:60.0 万元
- 项目类别:面上项目
低功耗集成多级放大器的设计研究
- 批准号:60976028
- 批准年份:2009
- 资助金额:35.0 万元
- 项目类别:面上项目
离散谱聚合与谱廓受限的传输理论与技术的研究
- 批准号:60972057
- 批准年份:2009
- 资助金额:36.0 万元
- 项目类别:面上项目
相似海外基金
A Low-Cost Wearable Connected Health Device for Monitoring Environmental Pollution Triggers of Asthma in Communities with Health Disparities
一种低成本可穿戴互联健康设备,用于监测健康差异社区中哮喘的环境污染诱因
- 批准号:
10601615 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Automatic coil design for low magnetic field leakage and high power transfer efficiency in wireless power transfer systems
自动线圈设计,可在无线功率传输系统中实现低磁场泄漏和高功率传输效率
- 批准号:
22KJ0953 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Addressing the wireless power problem: A low-power hybrid radio for neuroscience experiments
解决无线电源问题:用于神经科学实验的低功耗混合无线电
- 批准号:
10697023 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Low-power and high-reliability design of analog integrated circuit based on order statistics
基于阶次统计的模拟集成电路低功耗高可靠性设计
- 批准号:
22K11953 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
PMRAM: Initial chip design for a novel non-volatile low-power piezomagnetic random access memory to drive the future of IOT
PMRAM:新型非易失性低功耗压磁随机存取存储器的初始芯片设计,推动物联网的未来
- 批准号:
10033689 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
Collaborative R&D
Portable, Low Field Brain Magnetic Resonance Imaging (MRI) for Acute Stroke
用于急性中风的便携式低场脑部磁共振成像 (MRI)
- 批准号:
10366629 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
NewGait: A Low-Cost Rehabilitation System to Improve Post-Stroke Gait
NewGait:一种改善中风后步态的低成本康复系统
- 批准号:
10611686 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
CAREER: An Ultra-low Power Analog Computing Hardware Design Framework for Machine Learning Inference in Edge Biomedical Devices
职业:用于边缘生物医学设备中机器学习推理的超低功耗模拟计算硬件设计框架
- 批准号:
2144703 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
Continuing Grant
Portable, Low Field Brain Magnetic Resonance Imaging (MRI) for Acute Stroke
用于急性中风的便携式低场脑部磁共振成像 (MRI)
- 批准号:
10599258 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
Low Cost, Fully Implantable Wireless Neural Recording Device
低成本、完全植入式无线神经记录设备
- 批准号:
10255016 - 财政年份:2021
- 资助金额:
$ 1.82万 - 项目类别:














{{item.name}}会员




