Approved
Exploration of formal verification in GPU hardware IP
Nishant Gupta (2016)
Start
2018-01-15
Presentation
2019-09-06 10:15
Location:
E:2349
Finished:
2019-10-17
Master's thesis:
Abstract
Supervisor: Erik Larsson (EIT)
Examiner: Christian Nyberg (EIT)