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