Speaker: Stefan Staber, Cadence

Conference: Formal Verification 2015 (click here to see full programme)
Speaker: Stefan Staber, Principal Product Engineer
Organisation: Cadence
Presentation Title: Formal Coverage for Formal and Simulation Audiences
Abstract:
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.

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

Sponsors

Formal Verification 2015 is made possible through the generous support of our sponsors.
Formal Logo 2015