DVCLUB Europe | Formal Verification Adoption Made Easy

Formal Verification Adoption Made Easy

Conference:DVCLUB Europe | Formal Verification Adoption Made Easy
Speaker:Alexandre Esselin Botelho, Sr. Principal Application Engineer, Cadence Design Systems

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.