滿額折
全面的功能驗證：完整的工業流程（簡體書）
商品資訊
系列名：國際電氣工程先進技術譯叢
ISBN13：9787111296416
出版社：機械工業出版社
作者：(美)威立
出版日：2010/03/01
裝訂／頁數：平裝／485頁
規格：26cm*19cm (高/寬)
版次：1
商品簡介
目次
商品簡介
本書分為5個部分。第1部分的內容是功能驗證概述，包括概念背景、驗證計劃、驗證策略和一些基本練習。第1部分還介紹了驗證周期的概念和層次化驗證的概念，以及在實踐中怎樣將巨型設計分解為可驗證的單元。第2部分和第3部分關注兩個最主要的功能驗證方法：基於模擬的驗證方法和形式驗證方法。第4部分把注意力集中在驗證周期的后期階段，包括回歸測試和“逃逸”錯誤分析，以及一些高級的驗證技術。第5部分，是一些驗證實例研究的集合，進一步強調了驗證周期和驗證過程中的相關概念。
本書既可作為科研院所、高等工科院校計算機、電子、微電子等專業的教材或教學參考書，也可作為集成電路驗證領域的工程師的技術指南或工具書。
本書既可作為科研院所、高等工科院校計算機、電子、微電子等專業的教材或教學參考書，也可作為集成電路驗證領域的工程師的技術指南或工具書。
目次
譯者序
對本書的評論
原書序
前言
第1部分 驗 證 簡 介
第1章 芯片設計的驗證
第2章 驗證流程
第3章 基於模擬的驗證基礎
第4章 驗證計劃
第2部分 基於模擬的驗證
第5章 硬件描述語言和模擬引擎
第6章 創建環境
第7章 基於模擬的測試激勵生成策略
第8章 基於模擬的驗證中的結果檢查策略
第9章 廣義的功能驗證
第10章 重用策略與系統模擬
第3部分 形 式 驗 證
第11章 形式驗證簡介
第12章 形式驗證的使用
第4部分 全面的驗證
第13章 完成驗證周期
第14章 高級驗證技術
第5部分 驗證實例研究
第15章 驗證實例
附錄 驗證術語表
參考文獻
對本書的評論
原書序
前言
第1部分 驗 證 簡 介
第1章 芯片設計的驗證
第2章 驗證流程
第3章 基於模擬的驗證基礎
第4章 驗證計劃
第2部分 基於模擬的驗證
第5章 硬件描述語言和模擬引擎
第6章 創建環境
第7章 基於模擬的測試激勵生成策略
第8章 基於模擬的驗證中的結果檢查策略
第9章 廣義的功能驗證
第10章 重用策略與系統模擬
第3部分 形 式 驗 證
第11章 形式驗證簡介
第12章 形式驗證的使用
第4部分 全面的驗證
第13章 完成驗證周期
第14章 高級驗證技術
第5部分 驗證實例研究
第15章 驗證實例
附錄 驗證術語表
參考文獻
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。