驗證是制造出功能正確的芯片的必要步驟，是一個證明設計思路是如何實現的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區別。然后從方法學的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計劃。在驗證的方法和技術方面，本書引入了硬件驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監視響應的技術，以及通過使用總線功能模型把物理層次的事務抽象為更高層次的過程，并結合各種測試語言講解了仿真管理的各個要素。本書提出了覆蓋率驅動的受約束的隨機事務級自檢驗測試平臺，并圍繞這種結構對其中各個部分原理及設計要素進行了系統的討論。本書還介紹了如何編寫自檢驗測試平臺、設計基于總線功能模型的隨機激勵發生器。 本書適合于從事ASIC、SoC及系統設計與驗證的人員閱讀。
標簽： 制造 正 芯片
上傳時間： 2016-10-30
上傳用戶：tedo811
cmx869FSKDTMF收發芯片的C語言編程
標簽： FSKDTMF cmx 869 C語言編程
上傳時間： 2016-10-31
上傳用戶：chenjjer
LCD顯示的樣例程序,用C51編寫,主控芯片為S6B0719,68模式,并行
標簽： 0719 LCD C51 68
上傳用戶：hwl453472107
用單片機AVR控制PCF8563時鐘芯片的運行，通過I2C對其進行讀寫控制！
標簽： 8563 AVR PCF 用單片機
上傳時間： 2013-12-09
上傳用戶：teddysha
這是一份關于宏芯的T100芯片的PDF,詳細介紹了T100的功能引腳
標簽： T100 芯片 引腳
上傳時間： 2016-11-01
上傳用戶：comua
時鐘芯片的使用手冊,功能描述,技術指標,引腳的接法,
標簽： 時鐘芯片 使用手冊 功能描述 技術指標
上傳時間： 2014-12-22
上傳用戶：爺的氣質
飛思卡爾模擬器件及S08芯片的低功耗模式
標簽： S08 飛思卡爾 模擬器件 低功耗
上傳時間： 2013-12-26
上傳用戶：徐孺
te3320芯片的jpeg decoder在dsp程序中的驅動程序源碼，也可以作為TE3310的參考代碼！
標簽： decoder 3320 jpeg dsp
上傳時間： 2016-11-04
上傳用戶：秦莞爾w
對難于時行積分的方程y=x*sin(x),用蒙特卡洛方法進行了求解。
標簽： sin 積分 方程 蒙特卡洛
上傳用戶：ouyangtongze
DS18B20程序(LJD-SY-5100單片機程序) 控制DS18B20完成芯片的控制和數據傳輸
標簽： 18B B20 LJD-SY DS
上傳時間： 2014-01-03
上傳用戶：alan-ee
蟲蟲下載站版權所有 京ICP備2021023401號-1
