High-Level Design and Verification of Digital Systems
- Zhoulai Fu(PI),
- Peter Sestoft(CoI),
- Andrzej Wasowski(CoI)
Project:
Research
Project status
Finished
Project Information
Project Type
Research
Project Collaborators
- Technical University of Denmark
- Aarhus University
Time Period
01/04/2020 – 31/10/2020Status
FinishedFunding Details
2020-3-B InfinIT mini-projekt: High-Level Design and Verification of Digital SystemsAward
FundersAmounts
Innovationsnetværk for IT - InfinIT
180000 DKK