《數字集成電路設計驗證:量化評估、激勵生成、形式化驗證》內容涉及數字集成電路設計驗證的三個主要方麵：量化評估、激勵生成和形式化驗證。主要包括寄存器傳輸級(RTL)電路建模、基於可觀測性的覆蓋率評估方法、設計錯誤模型；基於故障模型的激勵生成、基於RTL行為模型的激勵生成、覆蓋率驅動的激勵生成；基於可滿足性的等價性檢驗、包含黑盒電路的形式化驗證，以及不可滿足問題。
全書圖文並茂，闡述瞭作者及其科研團隊自主創新的研究成果和結論，對緻力於數字集成電路設計驗證方法研究的科研人員(尤其是在讀研究生)，具有較大的學術參考價值，也可用作集成電路專業的高等院校教師、研究生和高年級本科生的教學參考書。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有