|Conference:||Formal Verification 2015 (click here to see full programme)|
|Speaker:||Stefan Staber, Principal Product Engineer|
|Presentation Title:||Formal Coverage for Formal and Simulation Audiences|
|Biography||Stefan Staber is a Principal Product Engineer in the Formal R&D business unit at Cadence Design Systems focusing on apps and solutions around formal technologies. Prior to the acquisition by Cadence, he has worked as a Field Applications Engineer for Jasper Design Automation. Stefan holds a PhD in Computer Science from Graz University of Technology, Austria.|
- At the request of the speaker the Presentation Slides will not be available post-event
- At the request of the speaker the recording will not be available post-event
Formal Verification 2015 is made possible through the generous support of our sponsors.