全麵的功能驗證

全麵的功能驗證 pdf epub mobi txt 電子書 下載2025

出版者:機械工業齣版社
作者:
出品人:
頁數:487
译者:
出版時間:2010-3
價格:98.00元
裝幀:平裝
isbn號碼:9787111296416
叢書系列:國際信息工程先進技術譯叢
圖書標籤:
  • 功能驗證
  • 測試
  • 工作學習
  • Verification,
  • IC
  • 工業流程
  • 功能驗證
  • 驗證方法學
  • 芯片驗證
  • 數字驗證
  • FPGA驗證
  • 驗證工程師
  • 硬件驗證
  • UVM
  • SystemVerilog
  • 驗證流程
想要找書就要到 小美書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

具體描述

《全麵的功能驗證:完整的工業流程》分為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章 驗證實例
附錄 驗證術語錶
參考文獻
· · · · · · (收起)

讀後感

評分

对于像我这样想从事这一行的人来说,的确是能找到的一本好书。那本systemverilog vmm太工具,读起来累,这本要好得多。

評分

对于像我这样想从事这一行的人来说,的确是能找到的一本好书。那本systemverilog vmm太工具,读起来累,这本要好得多。

評分

1. 验证工程师需要和设计团队保持紧密联系 2. 公司应当给验证工程师设计完整的职业道路 3. 设计师与验证工程师的比例可以是1:1到1:4 4. 设计师应当向验证团队建议潜在的错误可能发生在哪里  

評分

1. 验证工程师需要和设计团队保持紧密联系 2. 公司应当给验证工程师设计完整的职业道路 3. 设计师与验证工程师的比例可以是1:1到1:4 4. 设计师应当向验证团队建议潜在的错误可能发生在哪里  

評分

1. 验证工程师需要和设计团队保持紧密联系 2. 公司应当给验证工程师设计完整的职业道路 3. 设计师与验证工程师的比例可以是1:1到1:4 4. 设计师应当向验证团队建议潜在的错误可能发生在哪里  

用戶評價

评分

雖然是硬件測試的內容,但軟件同樣有藉鑒意義。

评分

雖然是硬件測試的內容,但軟件同樣有藉鑒意義。

评分

雖然是硬件測試的內容,但軟件同樣有藉鑒意義。

评分

雖然是硬件測試的內容,但軟件同樣有藉鑒意義。

评分

雖然是硬件測試的內容,但軟件同樣有藉鑒意義。

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有