8 years of experience in Formal Verification with master's degree in VLSI Design and Embedded Systems. Proficiency in FV Methodology: creating test plans, building FV testbenches, code assertions and constraints, FV models, apply abstraction techniques to deliver high quality design on schedule. Experience in Verification of SOCs and IPs such as NFC Reader, Reader Tag, PCRM, DDR standards (DDR3, DDR4, DDR5), GPU AI designs, PCIe Gen6.
Excellent at end-to-end formal verification process execution, from test plan creation through to verification closure
Hands-on experience with Verilog/ System Verilog HDLs, SVA assertions
Languages – System Verilog, Perl, shell, tcl
Tools – VC Formal, JasperGold, Simvision