Project Details
Chinese Project Title
用於HLS 設計中加速模型檢查的自動不變量生成框架
| Status | Active |
|---|---|
| Effective start/end date | 1/01/25 → 30/06/27 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.