Binil Mathews

Binil Mathews has extensive experience in design verification within the semiconductor industry, having worked as a Design Verification Intern at Intel Corporation and as a Design Verification Engineer at Apple. At Intel, responsibilities included SystemVerilog Assertion (SVA) based verification and formal verification using JasperGold. Binil's role at Infineon Technologies involved formal verification of designs and the automation of register verification through Python scripting. Binil holds a Master of Technology in Microelectronics from Birla Institute of Technology and Science, a Bachelor's degree in Electrical, Electronics and Communications Engineering from Vellore Institute of Technology, and a Master of Science in Embedded Systems and Microelectronics from Darmstadt University of Applied Sciences, maintaining strong academic performance throughout.