中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰(zhàn)行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
全面的功能驗證:完整的工業(yè)流程 版權信息
- ISBN：9787111296416
- 條形碼：9787111296416 ; 978-7-111-29641-6
- 裝幀：暫無
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
全面的功能驗證:完整的工業(yè)流程 本書特色
《全面的功能驗證:完整的工業(yè)流程》：隨著芯片設計復雜度的不斷提高，功能驗證日漸成為開發(fā)過程中的決定性任務。《全面的功能驗證:完整的工業(yè)流程》在描述功能驗證基礎方面做了極為出色的工作。讀者可以從《全面的功能驗證:完整的工業(yè)流程》中了解驗證周期的細節(jié)，學習驗證工程師所采用的各種方法。以確保完成一個無錯的設計版本。《全面的功能驗證:完整的工業(yè)流程》提供了至今為止*廣泛深入的功能驗證策略。作者依賴深厚的經驗，對驗證工程師可能面對的各種問題和挑戰(zhàn)提供了一個工業(yè)級的透視圖。《全面的功能驗證:完整的工業(yè)流程》對于新手和有經驗的驗證工程師都很有價值。《全面的功能驗證:完整的工業(yè)流程》是對工業(yè)化驗證流程的全面瀏覽。作者特別關注了覆蓋率方面的*新進展，并將它們串成組織嚴謹?shù)恼鹿?jié)鏈來介紹，此外，《全面的功能驗證:完整的工業(yè)流程》還伴有豐富的說明舉例和研究實例，使之成為一本大學功能驗證課程的理想教科書。在各個項目組都力求高效地保證系統(tǒng)工作正確的今天，驗證已經成為整個數(shù)字電路設計流程的主宰。盡管驗證極其重要，過去卻沒有書籍能充分涵蓋需要的各種素材來確保復雜電子系統(tǒng)的品質。Wile、Goss和Roesner深入介紹了功能驗證技術——包括理論觀點和實踐技術。這本優(yōu)秀的教科書承諾讓在校學生和實踐中的工程師都能從中獲益，使他們在應對現(xiàn)代驗證挑戰(zhàn)時變得更有效率。《全面的功能驗證:完整的工業(yè)流程》特色隨著電子設計日趨復雜，發(fā)現(xiàn)錯誤變得越來越困難和耗時，對能夠快速識別設計缺陷的熟練的驗證工程師的需求也前所未有的迫切《全面的功能驗證:完整的工業(yè)流程》為深入理解驗證的方法、工具和技術提供了堅實的基礎，而正是采用這些方法、工具和技術，業(yè)界專家可以成功地調試甚至*復雜的設計。提供對完整的驗證周期的全景觀察。強調功能驗證基礎知識與工業(yè)界經驗的有機組合。包含真實世界的案例研究，提供來自大EDA廠商Mentor Graphics、Synopsys和VerlsityDeslgn的可下載的關鍵用例的軟件實現(xiàn)。
全面的功能驗證:完整的工業(yè)流程 內容簡介
本書分為5個部分。第1部分的內容是功能驗證概述，包括概念背景、驗證計劃、驗證策略和一些基本練習。第1部分還介紹了驗證周期的概念和層次化驗證的概念，以及在實踐中怎樣將巨型設計分解為可驗證的單元。第2部分和第3部分關注兩個*主要的功能驗證方法：基于模擬的驗證方法和形式驗證方法。第4部分把注意力集中在驗證周期的后期階段，包括回歸測試和“逃逸”錯誤分析，以及一些高級的驗證技術。第5部分，是一些驗證實例研究的集合，進一步強調了驗證周期和驗證過程中的相關概念。
本書既可作為科研院所、高等工科院校計算機、電子、微電子等專業(yè)的教材或教學參考書，也可作為集成電路驗證領域的工程師的技術指南或工具書。
全面的功能驗證:完整的工業(yè)流程 目錄
譯者序
對本書的評論
原書序
前言
第1部分 驗 證 簡 介
第1章 芯片設計的驗證
第2章 驗證流程
第3章 基于模擬的驗證基礎
第4章 驗證計劃
第2部分 基于模擬的驗證
第5章 硬件描述語言和模擬引擎
第6章 創(chuàng)建環(huán)境
第7章 基于模擬的測試激勵生成策略
第8章 基于模擬的驗證中的結果檢查策略
第9章 廣義的功能驗證
第10章 重用策略與系統(tǒng)模擬
第3部分 形 式 驗 證
第11章 形式驗證簡介
第12章 形式驗證的使用
第4部分 全面的驗證
第13章 完成驗證周期
第14章 高級驗證技術
第5部分 驗證實例研究
第15章 驗證實例
附錄 驗證術語表
參考文獻
對本書的評論
原書序
前言
第1部分 驗 證 簡 介
第1章 芯片設計的驗證
第2章 驗證流程
第3章 基于模擬的驗證基礎
第4章 驗證計劃
第2部分 基于模擬的驗證
第5章 硬件描述語言和模擬引擎
第6章 創(chuàng)建環(huán)境
第7章 基于模擬的測試激勵生成策略
第8章 基于模擬的驗證中的結果檢查策略
第9章 廣義的功能驗證
第10章 重用策略與系統(tǒng)模擬
第3部分 形 式 驗 證
第11章 形式驗證簡介
第12章 形式驗證的使用
第4部分 全面的驗證
第13章 完成驗證周期
第14章 高級驗證技術
第5部分 驗證實例研究
第15章 驗證實例
附錄 驗證術語表
參考文獻
展開全部
全面的功能驗證:完整的工業(yè)流程 節(jié)選
《全面的功能驗證:完整的工業(yè)流程》分為5個部分。第1部分的內容是功能驗證概述，包括概念背景、驗證計劃、驗證策略和一些基本練習。第1部分還介紹了驗證周期的概念和層次化驗證的概念，以及在實踐中怎樣將巨型設計分解為可驗證的單元。第2部分和第3部分關注兩個*主要的功能驗證方法：基于模擬的驗證方法和形式驗證方法。第4部分把注意力集中在驗證周期的后期階段，包括回歸測試和“逃逸”錯誤分析，以及一些高級的驗證技術。第5部分，是一些驗證實例研究的集合，進一步強調了驗證周期和驗證過程中的相關概念。《全面的功能驗證:完整的工業(yè)流程》既可作為科研院所、高等工科院校計算機、電子、微電子等專業(yè)的教材或教學參考書，也可作為集成電路驗證領域的工程師的技術指南或工具書。
全面的功能驗證:完整的工業(yè)流程 作者簡介
威立（Bruce Wile）是IBM杰出工程師。他是IBM系統(tǒng)與技術組ASIC首席工程師，在這個崗位上，他領導開發(fā)了當前和下一代的服務器芯片組。自從1985年從賓夕法尼亞州立大學畢業(yè)并開始職業(yè)生涯，Wile先生在功能驗證領域工作了18年。他曾先后擔任許多芯片和系統(tǒng)的驗證工程師，包括開始的IBMS／390ES／9000系列緩存和存儲控制器單元，進而是處理器、I／O設備以及整個系統(tǒng)。在驗證生涯中，他還擔任著驗證組領導和管理崗位。2000年，Wile先生被任命為IBM服務器芯片驗證組長，負責整個IBM服務器全線產品的驗證技術開發(fā)和執(zhí)。
書友推薦
- >
我從未如此眷戀人間
- >
姑媽的寶刀
- >
月亮與六便士
- >
有舍有得是人生
- >
史學評論
- >
羅庸西南聯(lián)大授課錄
- >
我與地壇
- >
中國歷史的瞬間
本類暢銷
