數字集成電路設計驗證 pdf epub mobi txt 電子書 下載 2024
发表于2024-11-25
數字集成電路設計驗證 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
數字集成電路設計驗證 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
數字集成電路設計驗證 pdf epub mobi txt 電子書 下載 2024
圖書描述
《數字集成電路設計驗證:量化評估、激勵生成、形式化驗證》內容涉及數字集成電路設計驗證的三個主要方麵：量化評估、激勵生成和形式化驗證。主要包括寄存器傳輸級(RTL)電路建模、基於可觀測性的覆蓋率評估方法、設計錯誤模型；基於故障模型的激勵生成、基於RTL行為模型的激勵生成、覆蓋率驅動的激勵生成；基於可滿足性的等價性檢驗、包含黑盒電路的形式化驗證，以及不可滿足問題。
全書圖文並茂，闡述瞭作者及其科研團隊自主創新的研究成果和結論，對緻力於數字集成電路設計驗證方法研究的科研人員(尤其是在讀研究生)，具有較大的學術參考價值，也可用作集成電路專業的高等院校教師、研究生和高年級本科生的教學參考書。
著者簡介
圖書目錄
數字集成電路設計驗證 pdf epub mobi txt 電子書 下載
用戶評價
評分
評分
評分
評分
評分
讀後感
評分
評分
評分
評分
評分
類似圖書 點擊查看全場最低價
數字集成電路設計驗證 pdf epub mobi txt 電子書 下載 2024
分享鏈接
相關圖書
-
滿地骨頭 pdf epub mobi txt 電子書 下載 -
非晶和高熵閤金 pdf epub mobi txt 電子書 下載
-
井巷工程設計與施工 pdf epub mobi txt 電子書 下載
-
計算機控製係統容錯設計技術及應用 pdf epub mobi txt 電子書 下載
-
一汽奧迪A6轎車維修問答 pdf epub mobi txt 電子書 下載
-
日産轎車底盤維修手冊 pdf epub mobi txt 電子書 下載
-
大電網最優潮流計算 pdf epub mobi txt 電子書 下載
-
日産轎車電氣係統維修手冊 pdf epub mobi txt 電子書 下載
-
彩電I2C總綫係統維修調整資料大全 pdf epub mobi txt 電子書 下載
-
獸醫內科學 pdf epub mobi txt 電子書 下載
-
有機化學 pdf epub mobi txt 電子書 下載
-
江澤民論黨的建設學習問答 pdf epub mobi txt 電子書 下載
-
大學物理教程（上冊） pdf epub mobi txt 電子書 下載
-
國際貿易實務 pdf epub mobi txt 電子書 下載
-
婦兒疾病誤診誤治分析與對策 pdf epub mobi txt 電子書 下載
-
侵權責任法實務教程 pdf epub mobi txt 電子書 下載
-
傢具與陳設 pdf epub mobi txt 電子書 下載
-
電腦多重啓動不求人 pdf epub mobi txt 電子書 下載
-
公民道德建設範典 pdf epub mobi txt 電子書 下載
-
無敵 高中超要點萬用手冊 pdf epub mobi txt 電子書 下載
