低功耗驗證方法學(xué)

內(nèi)容概要

迦奇拉編著的《低功耗驗證方法學(xué)》分析歸納了多電壓低功耗設(shè)計仿真驗證技術(shù)中幾乎所有的關(guān)鍵問題，并提出了十分重要的設(shè)計驗證原則和規(guī)范。內(nèi)容包括：多電壓電源管理基礎(chǔ)、電源管理隱患、狀態(tài)保持、多電壓測試平臺的架構(gòu)、多電壓驗證、動態(tài)驗證、規(guī)則及指導(dǎo)原則等。
《低功耗驗證方法學(xué)》是任何正在設(shè)計或準(zhǔn)備設(shè)計低功耗應(yīng)用系統(tǒng)級芯片的必讀著作。

作者簡介

斯立肯·迦奇拉（Srikanth
Jadcherla）先生曾經(jīng)是ArchPro公司的奠基者和首席技術(shù)官（CTO）。2007年新思科技（synopsys）公司并購了ArchPro設(shè)計自動化公司，作為這次并購合同的一部分，斯立肯·迦奇拉先生來到新思科技公司工作。在創(chuàng)辦ArchPro公司之前，迦奇拉先生曾經(jīng)在WSI、Intel、Jasmine和Synopsys（新思科技）等公司擔(dān)任IC設(shè)計師和架構(gòu)設(shè)計師。他是一位很有經(jīng)驗的低功耗設(shè)計師，也是許多節(jié)能技術(shù)和原理的創(chuàng)導(dǎo)者。迦奇拉先生曾經(jīng)因為他在低功耗領(lǐng)域的工作和首創(chuàng)的12項專利技術(shù)獲得過英特爾成就獎（Intel
Achievement
Award）。他也是一位值得尊敬的綠色環(huán)保宣傳者，并擔(dān)任許多公司的技術(shù)顧問，這些公司涉及很廣闊的業(yè)務(wù)領(lǐng)域，包括從太陽能電池到房地產(chǎn)開發(fā)等行業(yè)。最近他一直在全世界半導(dǎo)體系統(tǒng)行業(yè)，從能源的供應(yīng)和能量消耗需求兩個方面，積極地推廣節(jié)能設(shè)計的新理念。
迦奇拉先生在印度IIT-馬德拉斯大學(xué)獲得電氣工程學(xué)士學(xué)位，從加利福尼亞大學(xué)，Santa
Barbara，獲得計算機(jī)科學(xué)和工程碩士學(xué)位。

書籍目錄

第1章  緒論
  1.1  簡介
  1.2  推動電源管理的要素
    1.2.1  更深入地考察電源的影響
    1.2.2  市場對降低功耗的壓力
    1.2.3  技術(shù)的進(jìn)步和功耗的減小
    1.2.4  節(jié)電的規(guī)范問題
  1.3電  壓控制方案的出現(xiàn)
    1.3.1  CMOS和電壓
    1.3.2  實踐中的多電壓設(shè)計
    1.3.3  多電壓控制系統(tǒng)的形象
  1.4  組件的驗證
    1.4.1  歷史的回顧和展望
    1.4.2  能感知電壓的布爾分析
  1.5  方法學(xué)的采用和實現(xiàn)
    1.5.1  方法學(xué)的差異
    1.5.2  采納的方法學(xué)
    1.5.3  規(guī)則和指導(dǎo)原則
  1.6  本書的結(jié)構(gòu)
第2章  多電壓電源管理基礎(chǔ)
  2.1  設(shè)計元素
    2.1.1  軌線／電源線網(wǎng)
    2.1.2  電壓調(diào)節(jié)器
    2.1.3  主軌線
    2.1.4  輔助軌線
    2.1.5  VDD和Vss
    2.1.6  頭單元和腳單元
    2.1.7  虛擬的VDD／Vss（源電壓／地電壓）
    2.1.8  保持單元
    2.1.9  基極
    2.1.10  島
    2.1.11  阱
    2.1.12  域
    2.1.13  總有電源供電的區(qū)
    2.1.14  立體交叉
    2.1.15  時變
    2.1.16  多電壓狀態(tài)或電源狀態(tài)
    2.1.17  保護(hù)電路
    2.1.18  隔離
    2.1.19  輸入隔離（停車場）
    2.1.20  電平的換擋調(diào)節(jié)
    2.1.21  電源狀態(tài)表
    2.1.22  狀態(tài)的轉(zhuǎn)移
    2.1.23  狀態(tài)序列
    2.1.24  PMU（電源管理單元）
  2.2  多電壓低功耗設(shè)計風(fēng)格
    2.2.1  關(guān)機(jī)
    2.2.2  待機(jī)
    2.2.3  休眠／電源門控
    2.2.4  保持
    2.2.5  動態(tài)電壓調(diào)節(jié)
    2.2.6  離散／連續(xù)的動態(tài)電壓調(diào)節(jié)
    2.2.7  離散與連續(xù)電壓調(diào)節(jié)的比較
  2.3  結(jié)論
第3章  電源管理隱患
  3.1  前言
  3.2  結(jié)構(gòu)性錯誤
    3.2.1  隔離及其相關(guān)的錯誤
    3.2.2  電平換擋及其相關(guān)錯誤
    3.2.3  其他結(jié)構(gòu)性錯誤
  3.3  控制／序列錯誤
    3.3.1  隔離控制錯誤
    3.3.2  邏輯混亂
  3.4  體系架構(gòu)性錯誤
    3.4.1  電源門控錯誤
    3.4.2  待機(jī)狀態(tài)下的存儲器數(shù)據(jù)遭到破壞
    3.4.3  外部元件和軟件的建模
  3.5  結(jié)論
第4章  狀態(tài)保持
  4.1  前言
  4.2  狀態(tài)保持的幾個途徑
    4.2.1  硬件的方法
    4.2.2  軟件方法
  4.3  狀態(tài)保持寄存器
    4.3.1  選擇性保持
    4.3.2  部分狀態(tài)保持
  4.4  保持和驗證的體系架構(gòu)問題
    4.4.1  復(fù)位和初始化
    4.4.2  驗證狀態(tài)空間的爆炸
    4.4.3  保持與時鐘門控的相互作用
    4.4.4  推薦
  4.5  結(jié)論
第5章  多電壓測試平臺的架構(gòu)
  5.1  前言
  5.2  測試平臺結(jié)構(gòu)
  5.3  組成測試平臺的部件
    5.3.1  軟件代碼段加載器
    5.3.2  CPU
    5.3.3  仿真模型
  5.4  編碼的指導(dǎo)原則
    5.4.1  X值的檢測
    5.4.2  X值的傳播
    5.4.3  硬線連接的常數(shù)
    5.4.4  端口列表中的表達(dá)式和邊界文件
    5.4.5  觸發(fā)器的第一級
    5.4.6  監(jiān)視器／斷言
    5.4.7  初始化
    5.4.8  狀態(tài)保持
    5.4.9  同步器
    5.4.10  單元命名保護(hù)
    5.4.11  關(guān)機(jī)代碼的激活
  5.5  低功耗元件庫的建模
    5.5.1  電源管理單元
    5.5.2  標(biāo)準(zhǔn)邏輯單元
    5.5.3  用戶自定義宏組件
  5.6  結(jié)論
第6章  多電壓驗證
  6.1  前言
  6.2  靜態(tài)驗證
    6.2.1  RTL靜態(tài)驗證
    6.2.2  門級靜態(tài)驗證
  6.3  動態(tài)驗證
  6.4  層次化的電源管理
第7章  動態(tài)驗證
  7.1  引言
  7.2  驗證計劃
    7.2.1  響應(yīng)檢查
    7.2.2  外部控制驗證
    7.2.3  電源狀態(tài)
    7.2.4  狀態(tài)保持
    7.2.5  動態(tài)頻率調(diào)整
  7.3  All—On（全接通）驗證
  7.4  模型
  7.5  定向測試
    7.5.1  上電復(fù)位測試
    7.5.2  硬件復(fù)位測試
  7.6  電源管理軟件
  7.7  結(jié)論
第8章  規(guī)則及指導(dǎo)原則
  8.1  規(guī)則和指導(dǎo)原則的總結(jié)
    第2章規(guī)則及指導(dǎo)原則
    第3章電源管理
    第4章狀態(tài)保持
    第5章多電壓測試平臺的體系結(jié)構(gòu)和準(zhǔn)備
    第6章多電壓驗證
    第7章動態(tài)驗證
附錄A  VVMLP基礎(chǔ)類和應(yīng)用程序包
  A.1  RALF框架總結(jié)
    A.1.1  寄存器
    A.1.2  存儲器
    A.1.3  塊
    A.1.4  系統(tǒng)
  A.2  VMMLP類庫規(guī)范
    A.2.1  VMM ENV
    A.2.2  vmm lp design
    A.2.3  vmm lp traition
  A.3  RAL
附錄B  靜態(tài)檢查
  B.1  隔離檢查
  B.2  電平換擋器（LS）
  B.3  已使能的電平換擋器（ELS）
  B.4  島序檢查
  B.5  保持單元
  B.6  電源開關(guān)
  B.7  總是有供電的單元
附錄C  作者簡介
  C.1  作者
  C.2  感謝
索引
參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    低功耗驗證方法學(xué) PDF格式下載

---