Functional formal verification of high-performance computing design modules
Last Updated Date 2025-04-22
- Course Sorts:先進製程IC設計人才培育計畫_晶片前瞻技術模組教材 ／ 113年度
- Course Introduction:
- Course Introduction Video:
透過 RISC-V 開源處理器, CVA 6, 以及 AI 加速器中常使用的 systolic arrary 運算結構為例, 介紹各種簡化技術, 來減輕正規驗證的驗證複雜度。此課程為進階課程, 需先教授之前的 正規驗證之原理與應用 的教材, 再取用此教材.
Course Attachments
Update Time 2025-04-22 15:54:46
Download Times 1