Godkända
Undersökning av formell verifiering i GPU-maskinvaru-IP
Nishant Gupta (2016)
Start
2018-01-15
Presentation
2019-09-06 10:15
Plats:
E:2349
Avslutat:
2019-10-17
Examensrapport:
Sammanfattning
Handledare: Erik Larsson (EIT)
Examinator: Christian Nyberg (EIT)