Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/04/2020 → 31/10/2020 |
Collaborative partners
- IT University of Copenhagen (lead)
- Technical University of Denmark
- Aarhus University
Funding
- Innovationsnetværk for IT - InfinIT: DKK180,000.00
High-Level Design and Verification of Digital Systems
- Fu, Zhoulai (PI)
- Sestoft, Peter (CoI)
- Wasowski, Andrzej (CoI)
Project: Research