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

內(nèi)容概要

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

作者簡(jiǎn)介

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

書(shū)籍目錄

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

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

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

---