硬件設計驗證

內容概要

　　本書全面介紹硬件系統(tǒng)設計驗證的技術和方法，主要涉及基于模擬和形式驗證的方法，內容涵蓋靜態(tài)檢驗、模擬器體系結構、測試基準設計、模擬規(guī)劃與策略、調試進程與驗證周期，形式驗證背景知識、判定圖與SAT問題、符號計算與模型檢驗。書中匯集大量設計驗證的基本概念與技術，內容深入淺出，敘述詳盡，既討淪一般的測試原則又展示具體的實踐方法，包含作者多午實踐經驗，實用性強。每章最后還配有各類習題，讀者可用來鞏固所學的知識。.　　本書可作為高等院校電子科學與技術、計算機科學與技術等專業(yè)高年級本科生或低年級研究生教材，也可供相關專業(yè)工程師參考。

作者簡介

William K .Lam是Sun公司實驗室的資深經理兼高級工程主管，曾獲得2002年度公司最高技術成就獎——總裁創(chuàng)新獎。他擁有加州大學伯克利分校電氣計算機工程系博士學位，曾獲得1994年優(yōu)秀博士論文K.J.Sakrison獎。他發(fā)表過大量論文及兩部專著，并擁有多項美國專利。

書籍目錄

譯者序前言 致謝 第1章 設計驗證的緣由 　1.1 什么是設計驗證 　1.2 驗證的基本原理 　1.3 驗證方法學 　1.4 基于模擬的驗證與形式驗證的比較 　1.5 形式驗證的局限性 　1.6 Verilog語言調度和執(zhí)行語義簡介 　1.7 本章小結 第2章 編寫驗證的代碼 　2.1 功能正確性 　2.2 時序正確性 　2.3 模擬的性能 　2.4 可移植性與可維護性 　2.5 可綜合性、可調試性與通用工具兼容性 　2.6 基于周期的模擬 　2.7 硬件模擬／仿真  　2.8 2狀態(tài)與4狀態(tài)模擬　2.9 lineter程序的設計與使用　2.10 本章小結　2.11 習題第3章 模擬器體系結構與操作　3.1 編譯器　3.2 模擬器　3.3 模擬器的分類與比較　3.4 模擬器的操作與應用　3.5 增量式編譯　3.6 模擬器控制臺　3.7 本章小結　3.8 習題第4章 測試基準組成與設計　4.1 測試基準的分類與測試環(huán)境　4.2 初始化機制　4.3 時鐘生成與同步　4.4 激勵生成　4.5 響應評估　4.6 驗證實用程序　4.7 測試基準至系統(tǒng)設計接口　4.8 常見的實際技術與方法　4.9 本章小結　4.10 習題第5章 測試構想、斷言與覆蓋第6章 調試進程與驗證周期第7章 形式驗證初頻第8章 判定圖、等價檢驗與符號第9章 模型檢驗與符號計算參考文獻縮寫詞匯表

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    硬件設計驗證 PDF格式下載

---