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