Skip to main content

Formal Verification Adoption Made Easy

Conference: DVCLUB Europe | Formal Verification Adoption Made Easy
Speaker: Alexandre Esselin Botelho, Sr. Principal Application Engineer, Cadence Design Systems
Abstract: Introduction to Jasper Apps and Design Bring up for Formal Verification Adoption.

3 Key Points:

  • Design Bring Up
  • Formal Setup
  • Formal methods
Speaker Biography: Alex graduated from Universidade Federal de Minas Gerais (UFMG) in Electrical Engineering with a Computer Engineering specialization. He started his career working as part of the Quality Assurance team inside JasperGold’s R&D hunting for bugs in the Jasper platform. He became the manager of the Quality Assurance department and helped the Jasper R&D team deploy new tools for quality checking and new methodologies to improve the speed of development. He moved to Cambridge in 2017, handling formal support and initiatives in Northern / Nordic EU countries.


DVCLUB Europe is made possible through the generosity of our sponsors.

Close Menu