編寫測試平臺
認領(lǐng)
0粉絲
驗證是制造出功能正確的芯片的必要步驟，是一個證明設(shè)計思路是如何實現(xiàn)的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區(qū)別。然后從方法學(xué)的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計劃。在驗證的方法和技術(shù)方面，本書引入了硬件驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監(jiān)視響應(yīng)的技術(shù)，以及通過使
簡介
驗證是制造出功能正確的芯片的必要步驟，是一個證明設(shè)計思路是如何實現(xiàn)的過程。本書首先介紹驗證的基本概念和各種工具，驗證的重要性和代價，比較了不同的驗證方法，以及測試和驗證的區(qū)別。然后從方法學(xué)的角度探討了驗證的策略和層次，介紹了覆蓋率模型和如何制定完整的驗證計劃。在驗證的方法和技術(shù)方面，本書引入了硬件驗證語言（HVL），討論了使用行為描述進行高層次建模的方法，介紹了施加激勵和監(jiān)視響應(yīng)的技術(shù)，以及通過使... 更多
屬性
出版社
電子工業(yè)出版社
ISBN
9787121030765
出版年
2006-8
價格
45.00元
頁數(shù)
345
評價
0.0（滿分 10 分）0 個評分
什么是點評分
圖片
表情
全部評價(
0)
推薦率
100%