查詢結果分析
來源資料
頁籤選單縮合
| 題 名 | 電通所在模擬器上的功能驗證環境及功能驗證的新趨勢=The Function Verification Environment with Simulation in CCL and the New Strategy of Function Verification |
|---|---|
| 作 者 | 孟德華; | 書刊名 | 電腦與通訊 |
| 卷 期 | 52 1996.09[民85.09] |
| 頁 次 | 頁39-45 |
| 專 輯 | 積體電路設計專輯 |
| 分類號 | 448.57 |
| 關鍵詞 | 功能驗證; 軟體模型; 硬體模型; 硬體加速器; 公式化驗證; 以週期為基礎的模擬; 以事件為基礎的模擬器; 硬軟體的整合設計; Function verification; Software model; Hardware model; Hardware accelerator; Formal verification; Cycle based simulation; Event based simulator; Hardware software co-design; |
| 語 文 | 中文(Chinese) |