熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 1 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
數字集成電路設計驗證︰量化評估、激勵生成、形式化驗證
本書內容涉及數字集成電路設計驗證的三個主要方面︰量化評估、激勵生成和形式化驗證。主要包括寄存器傳輸級(RTL)電路建模、基于可觀測性的覆蓋率評估方法、設計錯誤模型；基于故障模型的激勵生成、基于RTL行... more |
搜尋推薦
另外從您輸入的關鍵字中，推薦您關鍵字: 李曉維 的結果(請點選看全部符合的商品)
-
數字集成電路測試優化︰測試壓縮、測試功耗優化、測試調度
優惠價: 87 折, 303 元
