出版時間:2006-10 出版社:清華大學(xué)出版社 作者:維加亞拉哈文 頁數(shù):305
Tag標簽:無
內(nèi)容概要
本書的寫作方式可以使工程師快速掌握System Verilog斷言。第0、1和2章,可以使您充分了解基礎(chǔ)語法和一些通用的模擬技巧。閱讀完這三章,讀者應(yīng)該能在他們的設(shè)計/驗證環(huán)境中寫斷言。 第3、4、5和6章是不同類型的設(shè)計的“烹飪書”。讀者如果在他們自己的環(huán)境里遇到類似的設(shè)計可以參考這些章節(jié),以這些章節(jié)作為起點開始寫斷言。這些章節(jié)也可以作為指導(dǎo)。 隨書附一張光盤。本書中所有例子都可以用VCS 2005.06發(fā)行版運行,也包括運行這些例子的腳本范例。VCS是Synopsys公司的注冊商標。
書籍目錄
第0章 基于斷言的驗證第1章 SVA介紹 1.1 什么是斷言 1.2 為什么使用System Verilog斷言(SVA) 1.3 System Verilog的調(diào)度 1.4 SVA術(shù)語 1.5 建立SVA塊 1.6 一個簡單的序列 1.7 邊沿定義的序列 1.8 邏輯關(guān)系的序列 1.9 序列表達式 1.10 時序關(guān)系的序列 1.11 SVA中的時鐘定義 1.12 禁止屬性 1.13 一個簡單的執(zhí)行塊 1.14 蘊含操作符 1.15 SVA檢驗器的時序窗口 1.16 “ended”結(jié)構(gòu) 1.17 使用參數(shù)的SVA檢驗器 1.18 使用選擇運算符的SVA檢驗器 1.19 使用true表達式的SVA檢驗器 1.20“$past”構(gòu)造 1.21 重復(fù)運算符 1.22 “and”構(gòu)造 1.23 “intersect”構(gòu)造 1.24 “or”構(gòu)造 1.25 “first_match”構(gòu)造 1.26 “throughout”構(gòu)造 1.27 “within”構(gòu)造 1.28 內(nèi)建的系統(tǒng)函數(shù) ……第2章 SVA模擬方法論第3章 SVA在有限狀態(tài)機中的應(yīng)用第4章 SVA用于數(shù)據(jù)集約型(DATA INTENSIVE)的設(shè)計第5章 SVA儲存器第6章 SVA協(xié)議接口第7章 對檢驗器的檢驗
編輯推薦
本書不僅系統(tǒng)地介紹了SVA這種硬件驗證語言(HVL)的基本語法,而且針對不同類型的IC設(shè)計深入淺出地介紹了SVA的應(yīng)用。全書共分8章,其中前面三章介紹了ABV(基于斷言的驗證)方法學(xué)、SVA的語法及用一個實例介紹了SVA的應(yīng)用。后四章分別討論了SVA在各種典型設(shè)計中的應(yīng)用。這些典型設(shè)計模型包括了:有限狀態(tài)機(FSM),數(shù)據(jù)通道,存儲控制器,基于PCI局部總線系統(tǒng)和測試平臺(testbench)。無論是對剛剛接觸斷言的新手還是資深設(shè)計驗證工程師,本書都是案前必備的一本參考書!
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載
System Verilog Assertions應(yīng)用指南 PDF格式下載