SystemVerilog驗(yàn)證方法學(xué)

定　價(jià)：￥58.00

作　者：	（美）伯杰龍、等
出版社：	北京航空航天大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	設(shè)計(jì)

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787811240795	出版時(shí)間：	2007-05-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	467	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)借助許多用SystemVerilog編寫(xiě)的例子，介紹和說(shuō)明一套完整的驗(yàn)證方法學(xué)。它涵蓋了所有最新的驗(yàn)證技術(shù)，其中包括：驗(yàn)證計(jì)劃制定、 TestBench架構(gòu)、受約束隨機(jī)激勵(lì)產(chǎn)生、以覆蓋率為主導(dǎo)（coverage-driven）的驗(yàn)證、基于斷言（assertion-based）的驗(yàn)證、形式化分析，以及基于一個(gè)開(kāi)放、完善的方法學(xué)上的系統(tǒng)級(jí)驗(yàn)證。此外，本書(shū)也包括標(biāo)準(zhǔn)程序庫(kù)、VMM 和VMM檢查器，從而可幫助縮短驗(yàn)證開(kāi)發(fā)的時(shí)間。本書(shū)可作為電子工程類(lèi)、自動(dòng)控制類(lèi)、計(jì)算機(jī)類(lèi)的大學(xué)本科高年級(jí)學(xué)生及研究生教學(xué)用書(shū)，亦可供其他工程人員自學(xué)與參考。

作者簡(jiǎn)介

　　Janick Bergeron是為Synopsys公司工作的科學(xué)家，一本最暢銷(xiāo)的書(shū)Writing Testbench-es：Functional Verification of HDL Models的作者，他也是驗(yàn)證規(guī)范仲裁主持人。他曾經(jīng)在滑鐵盧（Waterloo）大學(xué)獲得電子工程碩士學(xué)位，在魁北克西谷提密（du Quebeca Chicoutime）大學(xué)獲得工程學(xué)士學(xué)位，并在俄勒崗（Orgon）大學(xué)獲得MBA學(xué)位。

圖書(shū)目錄

專(zhuān)家推薦
譯者序
序言
前言
本書(shū)是如何組織的
如何閱讀本書(shū)
附加資料來(lái)源
感謝
第1章導(dǎo) 論
驗(yàn)證生產(chǎn)率    2
提高生產(chǎn)率    2
驗(yàn)證組件    3
基于接口的設(shè)計(jì)    4
針對(duì)驗(yàn)證的設(shè)計(jì)    5
使用斷言的好處    6
方法學(xué)的實(shí)現(xiàn)    7
方法學(xué)的采納    7
指導(dǎo)原則    9
基本的編碼指導(dǎo)原則    10
術(shù)語(yǔ)的定義    11

第2章驗(yàn)證計(jì)劃
計(jì)劃過(guò)程    14
功能驗(yàn)證的需求    15
驗(yàn)證環(huán)境的需求    18
驗(yàn)證計(jì)劃的實(shí)現(xiàn)方案    22
響應(yīng)檢查    24
嵌入式監(jiān)視器    25
斷言    26
精確性    28
記分板    30
參考模型    30
離線檢查    31
總結(jié)    32

第3章斷言
斷言的指定    33
斷言語(yǔ)言基本知識(shí)    35
DUT（被測(cè)設(shè)計(jì)）內(nèi)部信號(hào)上的斷言    39
外部接口上的斷言    47
斷言編碼的指導(dǎo)原則    50
覆蓋率屬性    58
基于斷言的可重用檢查器    63
簡(jiǎn)單檢查器    63
基于斷言的驗(yàn)證IP    71
基于斷言的IP結(jié)構(gòu)    74
文檔與發(fā)行內(nèi)容    82
斷言的鑒定    83
總結(jié)    84

第4章測(cè)試平臺(tái)的基本結(jié)構(gòu)
測(cè)試平臺(tái)的架構(gòu)    86
信號(hào)層    89
指令層    96
功能層    98
場(chǎng)景層    101
測(cè)試層    102
仿真控制    104
消息服務(wù)    111
數(shù)據(jù)和事務(wù)    115
類(lèi)屬性/數(shù)據(jù)成員    118
方法    126
約束條件    129
事務(wù)處理器    132
物理層接口    138
事務(wù)層接口    139
完成和響應(yīng)模型    144
基元按序執(zhí)行模型    145
亂序基元執(zhí)行模型    149
非基元事務(wù)執(zhí)行    151
被動(dòng)響應(yīng)    154
從動(dòng)響應(yīng)    156
時(shí)序接口    159
回調(diào)方法    161
特定的測(cè)試平臺(tái)    164
傳統(tǒng)的總線功能模型    168
VMM兼容升級(jí)    168
VMM兼容接口    169
總結(jié)    171

第5章激勵(lì)與響應(yīng)
激勵(lì)的生成    173
隨機(jī)激勵(lì)    174
定向激勵(lì)    180
異常的生成    182
嵌入式激勵(lì)    186
對(duì)隨機(jī)生成的控制    187
基元生成    190
場(chǎng)景生成    191
多流生成    195
基于狀態(tài)的生成    197
應(yīng)選用哪種發(fā)生器    202
自檢查結(jié)構(gòu)    203
記分板    206
與事務(wù)處理器的集成    209
異常的處理    211
總結(jié)    212

第6章針對(duì)覆蓋率的驗(yàn)證
覆蓋率度量指標(biāo)    214
覆蓋率模型    215
結(jié)構(gòu)覆蓋率建模    216
功能覆蓋率建模    216
功能覆蓋率分析    218
覆蓋率評(píng)級(jí)    219
功能覆蓋率實(shí)現(xiàn)方案    219
覆蓋率組    221
覆蓋率屬性    228
反饋機(jī)制    228
總結(jié)    230

第7章用于形式化驗(yàn)證的斷言

模型檢查和斷言    233
對(duì)數(shù)據(jù)的斷言    242
不使用局部變量    242
使用局部變量    245
形式化驗(yàn)證工具的兼容性    250
總結(jié)    250

第8章系統(tǒng)級(jí)驗(yàn)證

可擴(kuò)展的驗(yàn)證組件    252
XVC的結(jié)構(gòu)    253
XVC的實(shí)現(xiàn)    255
動(dòng)作的實(shí)現(xiàn)    257
XVC管理器    261
預(yù)定義的XVC管理器    262
系統(tǒng)級(jí)驗(yàn)證環(huán)境    263
塊互聯(lián)結(jié)構(gòu)的驗(yàn)證    267
基本集成驗(yàn)證    269
低層次系統(tǒng)功能驗(yàn)證    271
系統(tǒng)認(rèn)證驗(yàn)證    272
驗(yàn)證事務(wù)層模型    274
事務(wù)層接口    276
硬件輔助的驗(yàn)證    277
外設(shè)測(cè)試塊的結(jié)構(gòu)    279
總結(jié)    281

第9章處理器集成驗(yàn)證

軟件測(cè)試環(huán)境    283
基本軟件集成驗(yàn)證    285
全系統(tǒng)驗(yàn)證環(huán)境    286
軟件測(cè)試結(jié)構(gòu)    289
測(cè)試動(dòng)作    292
編譯過(guò)程    296
測(cè)試的運(yùn)行    298
引導(dǎo)模塊    299

總結(jié)    300

附錄A VMM標(biāo)準(zhǔn)庫(kù)技術(shù)說(shuō)明書(shū)
VMM_VERSION    302
VMM_ENV    303
VMM_LOG    306
vmm_log_msg    319
vmm_log_format    320
vmm_log_callbacks    322
VMM_DATA    324
VMM_CHANNEL    330
VMM_BROADCAST    342
VMM_SCHEDULER    346
vmm_scheduler_election    350
VMM_NOTIFY    352
vmm_notification    357
VMM_XACTOR    358
vmm_xactor_callbacks    364
VMM_ATOMIC_GEN    364
VMM_SCENARIO_GEN    368

附錄B VMM檢查器庫(kù)
OVL 等價(jià)的檢查器（SVL）    381
高級(jí)檢查器    387

附錄C XVC標(biāo)準(zhǔn)庫(kù)技術(shù)說(shuō)明書(shū)
XVC_MANAGER    393
XVC_XACTOR    395
XVC_ACTION    397
VMM_XVC_MANAGER    399
注意    400
文件結(jié)構(gòu)    401
命令    403

附錄D 軟件驗(yàn)證框架
基本類(lèi)型    417
系統(tǒng)描述符    418
外設(shè)描述符    418
中斷描述符    421
DMA通道描述符    422
測(cè)試動(dòng)作    423
低層次服務(wù)    429
高速緩存鎖定    434
中斷控制器    436
與XVC的軟件接口的連接    440
索引     441
作者介紹     468