节能设计中形式验证的创新方案——JasperGold低功耗验证

【摘要】：正如今超大规模集成电路(IC)的发展趋势加快了片上系统(System-on-Chip,SoC)技术的开发,而功耗管理与节能技术已经遍及片上系统设计的各个方面,目的在于在电源占决定性作用的应用设备,如有限电池寿命的移动通信终端以及大型消费电子类产品中得到有效的节能控制。降低功耗可以说贯穿了整个芯片的设计流 【关键词】： 节能设计 降低功耗 形式验证 分析验证 电源管理 片上系统 超大规模集成电路 设计流程 节能模型 决定性作用
【分类号】：TN403
【正文快照】： 如今超大规模集成电路(IC)的发展趋势加快了片上系统(Sys-tem-on-Chip,SoC)技术的开发,而功耗管理与节能技术已经遍及片上系统设计的各个方面,目的在于在电源占决定性作用的应用设备,如有限电池寿命的移动通信终端以及大型消费电子类产品中得到有效的节能控制。降低功耗可以说

您可以在本站搜索以下学术论文文献来了解更多相关内容

浅谈建筑电气节能设计    王芳;

发展我国建筑节能技术    郝国胜

论建筑电气工程的节能减排    于长君;

高速公路隧道照明的节能设计    郑奇;

档案馆库房围护结构的节能设计    田丽君;

嵌入式系统的电源特性    李丹;

BLACKfin~(TM)DSP可实现带电源管理功能的多样性应用    Ｄａｖｉｄ Ｌａｎｎｉｇａｎ

双权值网络在电源管理中的应用研究    金骥;鲁华祥;王守觉;

用VB开发居住建筑节能设计软件    张鹏;张磊勇;霍俊伟;

AET电源管理＆低功耗节能设计高峰论坛首现成都电子展    王伟;

浅谈炼钢工业循环冷却水系统节能设计    金亚飚;

从节能设计IFC数据生成IDF数据的机制及关键算法    马智亮;曾统华;魏振华;冯妍;

纺织厂建设的全面节能设计    涂前文;

带不采暖地下室的住宅建筑节能设计探讨    王传芝;戎卫国;

某红外相机装调实验楼除湿方案节能设计分析    徐选才;马达;邹瑜;

夏热冬冷地区居住建筑节能设计软件的开发及其应用    赵志安;邱相武;

屏障系统动物设施节能设计的研究    张永斌;邹移海;陈苑;陈嘉;

暖通空调系统节能设计措施探讨    于晓明;任照峰;

建筑围护结构的节能设计及动态模拟的应用    杨文斐;孙志田;

冷库的节能设计    戴美芹;

电源管理肩负节能使命 主流企业力促技术升级    冯晓伟

山西：工程开工先过“节能”关    魏川

夏热冬冷地区居住建筑节能设计标准    记者束洪福

汲取精华 促进人居发展    林培

节能设计 刷新家装服务新概念    顾上上

IC厂商直面3G时代功耗危机    罗翠钦

低功耗多功能仍是重点 TD单芯片更受关注    记者 久乔

电源管理产品呈现五大趋势    郭闻

笔记本电脑的电源管理方案    山东 郭振海

TI革新便携式电源管理    李勇

可满足性问题算法研究以及在时序电路等价验证中的应用    丁敏

居住建筑节能设计计算与评价方法研究    任俊

无线传感器网络节能传输技术研究    袁勇

基于多项式符号代数的数字电路形式验证方法研究    杨志

基于接口自动机的组合验证方法研究    文艳军

无线传感器网络虚拟MIMO接收技术研究    程波

基于自动机的时间系统形式验证技术    许庆国

集成电路的逻辑等价性验证研究    杨军

Web应用的验证与测试方法研究    曾红卫

基于有限环上多项式的数字电路形式验证方法    李东海

西安地区办公建筑节能设计研究    罗旭堃

多组分热偶精馏的节能设计与优化    武昊宇

面向建筑设计过程的能耗模拟分析——采暖地区居住建筑节能设计程序的开发    张承

建筑玻璃幕墙的节能设计研究    李雪平

宝鸡地区乡村住宅节能设计与技术研究    段晓锋

大型公共建筑空调系统的节能设计与优化管理    谷丽静

中庭的热环境与节能研究    陈钰

寒冷地区建筑围护体系节能设计研究    王慧

寒冷地区小城镇住宅节能设计研究    王朝红

无线传感器网络节能技术的研究    张彪