編寫測(cè)試平臺(tái)——HDL模型的功能驗(yàn)證（第二版）

發(fā)布時(shí)間：2010-7-28 21:21 發(fā)布者：techieboy

關(guān)鍵詞： HDL , 模型

作者(Bergeron)伯杰龍 (美)J. 譯者:張春等

驗(yàn)證是制造出功能正確的芯片的必要步驟，是一個(gè)證明設(shè)計(jì)思路是如何實(shí)現(xiàn)的過(guò)程。本書首先介紹驗(yàn)證的基本概念和各種工具，驗(yàn)證的重要性和代價(jià)，比較了不同的驗(yàn)證方法，以及測(cè)試和驗(yàn)證的區(qū)別。然后從方法學(xué)的角度探討了驗(yàn)證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗(yàn)證計(jì)劃。在驗(yàn)證的方法和技術(shù)方面，本書引入了硬件驗(yàn)證語(yǔ)言（HVL），討論了使用行為描述進(jìn)行高層次建模的方法，介紹了施加激勵(lì)和監(jiān)視響應(yīng)的技術(shù)，以及通過(guò)使用總線功能模型把物理層次的事務(wù)抽象為更高層次的過(guò)程，并結(jié)合各種測(cè)試語(yǔ)言講解了仿真管理的各個(gè)要素。本書提出了覆蓋率驅(qū)動(dòng)的受約束的隨機(jī)事務(wù)級(jí)自檢驗(yàn)測(cè)試平臺(tái)，并圍繞這種結(jié)構(gòu)對(duì)其中各個(gè)部分原理及設(shè)計(jì)要素進(jìn)行了系統(tǒng)的討論。本書還介紹了如何編寫自檢驗(yàn)測(cè)試平臺(tái)、設(shè)計(jì)基于總線功能模型的隨機(jī)激勵(lì)發(fā)生器。 .

本書適合于從事ASIC、SoC及系統(tǒng)設(shè)計(jì)與驗(yàn)證的人員閱讀。

編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part1.rar (7.63 MB)

編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part2.rar (7.63 MB)

編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part3.rar (7.63 MB)

編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part4.rar (7.63 MB)

編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part5.rar (113.28 KB)

本文地址：http://m.54549.cn/thread-17645-1-1.html 【打印本頁(yè)】

本站部分文章為轉(zhuǎn)載或網(wǎng)友發(fā)布，目的在于傳遞和分享信息，并不代表本網(wǎng)贊同其觀點(diǎn)和對(duì)其真實(shí)性負(fù)責(zé)；文章版權(quán)歸原作者及原出處所有，如涉及作品內(nèi)容、版權(quán)和其它問(wèn)題，我們將根據(jù)著作權(quán)人的要求，第一時(shí)間更正或刪除。

網(wǎng)友評(píng)論

ic@ui 發(fā)表于 2010-11-26 22:13:40

不錯(cuò)不錯(cuò)

ic@ui 發(fā)表于 2010-11-26 22:14:48

搶到沙發(fā)了啊

ic@ui 發(fā)表于 2010-11-26 22:22:27

怎么沒(méi)人頂

zhaosl 發(fā)表于 2011-3-14 12:10:00

kankan,謝謝樓主！

zhujizhen 發(fā)表于 2011-11-24 00:04:17

不錯(cuò)不錯(cuò)

zhuhuagui691022 發(fā)表于 2012-1-2 15:17:53

非常好，不錯(cuò)

kirk803 發(fā)表于 2012-3-10 11:47:50

謝謝哈

jimcmwang 發(fā)表于 2015-3-31 17:31:18

編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part1.rar (7.63 MB, 下載次數(shù): 103)
  編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part2.rar (7.63 MB, 下載次數(shù): 96)
  編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part3.rar (7.63 MB, 下載次數(shù): 104)
  編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part4.rar (7.63 MB, 下載次數(shù): 85)
  編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part5.rar (113.28 KB, 下載次數(shù): 64)

jimcmwang 發(fā)表于 2015-3-31 17:31:33

radio926 發(fā)表于 2015-9-10 20:11:55

謝謝分享

xcfans 發(fā)表于 2018-11-14 16:32:30

資源真心不錯(cuò)吶，現(xiàn)在都有效，一定要頂一個(gè)，五分好評(píng)！

jimcmwang 發(fā)表于 2016-4-26 10:16:36

編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part1.rar (7.63 MB, 下載次數(shù): 105)
  編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part2.rar (7.63 MB, 下載次數(shù): 98)
  編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part3.rar (7.63 MB, 下載次數(shù): 106)
  編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part4.rar (7.63 MB, 下載次數(shù): 87)
  編寫測(cè)試平臺(tái)—HDL模型的功能驗(yàn)證(第二版).part5.rar (113.28 KB, 下載次數(shù): 66)

jimcmwang 發(fā)表于 2016-4-26 10:16:48