節(jié)能設計中形式驗證的創(chuàng)新方案——JasperGold低功耗驗證

【摘要】：正如今超大規(guī)模集成電路(IC)的發(fā)展趨勢加快了片上系統(tǒng)(System-on-Chip,SoC)技術的開發(fā),而功耗管理與節(jié)能技術已經(jīng)遍及片上系統(tǒng)設計的各個方面,目的在于在電源占決定性作用的應用設備,如有限電池壽命的移動通信終端以及大型消費電子類產品中得到有效的節(jié)能控制。降低功耗可以說貫穿了整個芯片的設計流 【關鍵詞】： 節(jié)能設計 降低功耗 形式驗證 分析驗證 電源管理 片上系統(tǒng) 超大規(guī)模集成電路 設計流程 節(jié)能模型 決定性作用
【分類號】：TN403
【正文快照】： 如今超大規(guī)模集成電路(IC)的發(fā)展趨勢加快了片上系統(tǒng)(Sys-tem-on-Chip,SoC)技術的開發(fā),而功耗管理與節(jié)能技術已經(jīng)遍及片上系統(tǒng)設計的各個方面,目的在于在電源占決定性作用的應用設備,如有限電池壽命的移動通信終端以及大型消費電子類產品中得到有效的節(jié)能控制。降低功耗可以說

您可以在本站搜索以下學術論文文獻來了解更多相關內容

淺談建筑電氣節(jié)能設計    王芳;

發(fā)展我國建筑節(jié)能技術    郝國勝

論建筑電氣工程的節(jié)能減排    于長君;

高速公路隧道照明的節(jié)能設計    鄭奇;

檔案館庫房圍護結構的節(jié)能設計    田麗君;

嵌入式系統(tǒng)的電源特性    李丹;

BLACKfin~(TM)DSP可實現(xiàn)帶電源管理功能的多樣性應用    Ｄａｖｉｄ Ｌａｎｎｉｇａｎ

雙權值網(wǎng)絡在電源管理中的應用研究    金驥;魯華祥;王守覺;

用VB開發(fā)居住建筑節(jié)能設計軟件    張鵬;張磊勇;霍俊偉;

AET電源管理＆低功耗節(jié)能設計高峰論壇首現(xiàn)成都電子展    王偉;

淺談煉鋼工業(yè)循環(huán)冷卻水系統(tǒng)節(jié)能設計    金亞飚;

從節(jié)能設計IFC數(shù)據(jù)生成IDF數(shù)據(jù)的機制及關鍵算法    馬智亮;曾統(tǒng)華;魏振華;馮妍;

紡織廠建設的全面節(jié)能設計    涂前文;

帶不采暖地下室的住宅建筑節(jié)能設計探討    王傳芝;戎衛(wèi)國;

某紅外相機裝調實驗樓除濕方案節(jié)能設計分析    徐選才;馬達;鄒瑜;

夏熱冬冷地區(qū)居住建筑節(jié)能設計軟件的開發(fā)及其應用    趙志安;邱相武;

屏障系統(tǒng)動物設施節(jié)能設計的研究    張永斌;鄒移海;陳苑;陳嘉;

暖通空調系統(tǒng)節(jié)能設計措施探討    于曉明;任照峰;

建筑圍護結構的節(jié)能設計及動態(tài)模擬的應用    楊文斐;孫志田;

冷庫的節(jié)能設計    戴美芹;

電源管理肩負節(jié)能使命 主流企業(yè)力促技術升級    馮曉偉

山西：工程開工先過“節(jié)能”關    魏川

夏熱冬冷地區(qū)居住建筑節(jié)能設計標準    記者束洪福

汲取精華 促進人居發(fā)展    林培

節(jié)能設計 刷新家裝服務新概念    顧上上

IC廠商直面3G時代功耗危機    羅翠欽

低功耗多功能仍是重點 TD單芯片更受關注    記者 久喬

電源管理產品呈現(xiàn)五大趨勢    郭聞

筆記本電腦的電源管理方案    山東 郭振海

TI革新便攜式電源管理    李勇

可滿足性問題算法研究以及在時序電路等價驗證中的應用    丁敏

居住建筑節(jié)能設計計算與評價方法研究    任俊

無線傳感器網(wǎng)絡節(jié)能傳輸技術研究    袁勇

基于多項式符號代數(shù)的數(shù)字電路形式驗證方法研究    楊志

基于接口自動機的組合驗證方法研究    文艷軍

無線傳感器網(wǎng)絡虛擬MIMO接收技術研究    程波

基于自動機的時間系統(tǒng)形式驗證技術    許慶國

集成電路的邏輯等價性驗證研究    楊軍

Web應用的驗證與測試方法研究    曾紅衛(wèi)

基于有限環(huán)上多項式的數(shù)字電路形式驗證方法    李東海

西安地區(qū)辦公建筑節(jié)能設計研究    羅旭堃

多組分熱偶精餾的節(jié)能設計與優(yōu)化    武昊宇

面向建筑設計過程的能耗模擬分析——采暖地區(qū)居住建筑節(jié)能設計程序的開發(fā)    張承

建筑玻璃幕墻的節(jié)能設計研究    李雪平

寶雞地區(qū)鄉(xiāng)村住宅節(jié)能設計與技術研究    段曉鋒

大型公共建筑空調系統(tǒng)的節(jié)能設計與優(yōu)化管理    谷麗靜

中庭的熱環(huán)境與節(jié)能研究    陳鈺

寒冷地區(qū)建筑圍護體系節(jié)能設計研究    王慧

寒冷地區(qū)小城鎮(zhèn)住宅節(jié)能設計研究    王朝紅

無線傳感器網(wǎng)絡節(jié)能技術的研究    張彪