驗證是制造出功能正確的芯片的必要步驟，是一個證明設計思路是如何實現的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區別。然后從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計劃。在驗證的方法和技術方面，本書引入了硬件驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監視響應的技術，以及通過使用總線功能模型把物理層次的事務抽象為更高層次的過程，并結合各種測試語言講解了仿真管理的各個要素。本書提出了覆蓋率驅動的受約束的隨機事務級自檢驗測試平臺，并圍繞這種結構對其中各個部分原理及設計要素進行了系統的討論。本書還介紹了如何編寫自檢驗測試平臺、設計基于總線功能模型的隨機激勵發生器。 本書適合于從事ASIC、SoC及系統設計與驗證的人員閱讀。
資源簡介：驗證是制造出功能正確的芯片的必要步驟，是一個證明設計思路是如何實現的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區別。然后從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何...
上傳時間： 2016-10-30
上傳用戶：tedo811
資源簡介：該程序功能是求出2到10之間的偶數和，程序經過運行，保證絕對正確。
上傳時間： 2016-06-23
上傳用戶：pompey
資源簡介：這是AD7416匯編程序 功能：本程序作用是讀出數字溫度傳感器AD7416芯片的溫度值。
上傳時間： 2014-01-05
上傳用戶：123456wh
資源簡介：這是micrel公司寬帶路由ARM9芯片的VXWORKS BSP 源代碼，可以直接FLASH啟動
上傳時間： 2014-11-23
上傳用戶：cainaifa
資源簡介：這是nordic公司nrf9e5無線通訊芯片的驅動程序
上傳時間： 2015-04-13
上傳用戶：jhksyghr
資源簡介：這是一個關于一個無線通訊芯片的無線的audio的單片機的程序，是用C51開發的
上傳時間： 2014-01-09
上傳用戶：mpquest
資源簡介：這是一個關于一個無線通訊芯片的無線的joystick是用C51開發的
上傳時間： 2014-01-15
上傳用戶：lifangyuan12
資源簡介：這是一個關于一個無線通訊芯片的無線的link的程序，是用C51開發的
上傳時間： 2015-08-30
上傳用戶：edisonfather
資源簡介：這是一個關于一個無線通訊芯片的無線的seial程序，是用C51開發的
上傳時間： 2014-11-23
上傳用戶：Miyuki
資源簡介：這是一個關于一個無線通訊芯片的無線的wor機的程序，是用C51開發的
上傳時間： 2015-08-30
上傳用戶：清風冷雨
資源簡介：這是一個以EP1C6為核心芯片的實驗板原理圖。希望對學習FPGA的朋友有幫助
上傳時間： 2015-09-01
上傳用戶：1583060504
資源簡介：TWI使用范例是AVR單片機對AT24C02系列芯片的讀寫操作
上傳時間： 2015-09-11
上傳用戶：chens000
資源簡介：本程序是89C51驅動ISD4000系列語音芯片的驅動程序
上傳時間： 2013-12-08
上傳用戶：waitingfy
資源簡介：這是一個飛利浦arm芯片的對flash的操作說明，很不錯，對我幫助很大
上傳時間： 2015-12-08
上傳用戶：xauthu
資源簡介：這是一個液晶的測試程序,是一款用ST7920做芯片的12864液晶的程序,絕對可用,方便而且可移植調用
上傳時間： 2013-12-19
上傳用戶：cc1015285075
資源簡介：這是一個液晶的測試程序,是一款用ST7920做芯片的12864液晶的程序,絕對可用,方便而且可移植調用,還附有說明書
上傳時間： 2013-12-03
上傳用戶：wangyi39
資源簡介：圖書管理系統的源碼,是文檔.功能就是提供簡單的查詢,插入,刪除等.
上傳時間： 2013-12-24
上傳用戶：13160677563
資源簡介：這個是一款電子音量控制芯片的控制源碼，通過I2C接口進行數據傳輸，需要的可以下載
上傳時間： 2016-09-06
上傳用戶：jcljkh
資源簡介：這是一個講述有關ecc加密芯片的內部資料，包括了體系結構和實現方法
上傳時間： 2014-01-01
上傳用戶：mpquest
資源簡介：是幾款數碼管驅動芯片的資料 tm1618
上傳時間： 2014-01-06
上傳用戶：lhc9102
資源簡介：一款居于世紀民生CS6208的帶TCP-IP網絡功能的8位MCU內核的芯片的應用代碼。
上傳時間： 2017-07-19
上傳用戶：caixiaoxu26
資源簡介：saa7106的芯片的驅動代碼，是linux下的驅動代碼
上傳時間： 2016-12-09
上傳用戶：asasasas
資源簡介：16C550的芯片的驅動成序，已經通過實際產品的測試并應用。
上傳時間： 2014-01-10
上傳用戶：rishian
資源簡介：用于數據塊容錯編碼校驗的芯片的RS編碼器設計
上傳時間： 2016-07-11
上傳用戶：woshini123456
資源簡介：用于數據塊容錯編碼校驗的芯片的RS編碼器設計的測試代碼
上傳時間： 2014-05-29
上傳用戶：lijinchuan
資源簡介：用于DRX3973或DRX39系列的芯片的控制
上傳時間： 2017-03-03
上傳用戶：康郎
資源簡介：TI6713的flash測試程序。稍作修改可應用于其他6000系列的芯片的falsh測試。
上傳時間： 2013-12-18
上傳用戶：zaizaibang
資源簡介：本程序是使用APRIORI算法搜索相關聯的項目，在搜索前需要用戶先對項目的個數和最低支持度進行設置，然后程序就會在指定的項目是找出滿足最低支持度的相關聯的頻繁項目集
上傳時間： 2016-10-21
上傳用戶：csgcd001
資源簡介：A3955SB是美國Allegro公司推出的一種高集成度步進電機驅動專用芯片,文中介紹了該芯片的特點、引腳功能和工作原理,給出了一種性價比較高的實用電路。
上傳時間： 2014-01-22
上傳用戶：talenthn
資源簡介：信息安全在當今的社會生產生活中已經被廣為關注，對敏感信息進行加密是提高信息安全性的一種常見的和有效的手段。 常見的加密方法有軟件加密和硬件加密。軟件加密的方法因為加密速度低、安全性差以及安裝不便，在一些高端或主流的加密處理中都采用硬件加密手...
上傳時間： 2013-05-24
上傳用戶：黃華強
