Approved
Investigate and explore the scope of Formal Verification deployment in GPU hardware IP.
Nishant Gupta (2016)
Start
2018-01-08
Presentation
2018-06-30
Location:
Finished:
2019-10-17
Master's thesis:
(Contact supervisor)
Abstract
Supervisor: Erik Larsson (EIT)
Examiner: Christian Nyberg (EIT)