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
BiographyStefan 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.

Presentation Material

  • 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.
Formal Logo 2015