閱讀全壘打語言書展66折起高效人生中年之路抵抗行動房慧真長照讀冊選讀多巴胺國度AI五十強大塊商業展東野圭吾黃色臉孔雲端封建從六四到A4

數字集成電路設計驗證-量化評估.激勵生成.形式化驗證

作者:

李曉維

出版日期:2010-05-01
出版社:科學出版社
內  容簡介     本書內容涉及數位積體電路設計驗證的三個主要方面:量化評估、激勵生成 和形式化驗證。主要包括寄存器傳輸級(RTL)電路建模、基於可觀測性 ...

數字集成電路測試優化-測試壓縮.測試功耗優化.測試調度

出版日期:2010-06-01
出版社:科學出版社
本書內容涉及數位積體電路測試優化的三個主要方面:測試壓縮、測試功耗優化、測試調度。包括測試資料壓縮的基本原理,激勵壓縮的有效方法,測試響應壓縮方法和電路結構;測試功耗優化的基本原理,靜態測試功耗優化方 ...


您對於搜尋結果是否滿意?
太好了!感謝您的回饋!
感謝您的建議!我們會持續提供更好的搜尋服務!
很抱歉沒能幫上忙 :( 我們應如何改進呢?