Formal Verification Engineer
Location
Mumbai, Maharashtra
Job Type
Full-time
Category
Engineers
Posted
June 03, 2026
Formal Verification Engineer-
Targets
High quality silicon with no functional bugs by performing high quality pre-silicon verification
Tasks
Develop Specman E and SystemVerilog UVM compliant verification environments
Formal verification of IPs (e.g. DMA, NVM FSMs)
Creation of verification plans and execution of coverage closure
Provide relevant reports to show progress
Run regressions / help set up automatic regressions and debug failures / drive debugging
Run verification environments quality checks with Certitude and improve environment to reach ASIL-D level for verification environment
Skillset
Proven working experience within the semiconductor industry in constraint random functional and formal verification
Expertise in hardware verification using
SystemVerilog UVM
Expertise in formal verification using
Cadence JasperGold
Knowledge of using regression and coverage analysis tools as well as knowledge of test bench qua...
Targets
High quality silicon with no functional bugs by performing high quality pre-silicon verification
Tasks
Develop Specman E and SystemVerilog UVM compliant verification environments
Formal verification of IPs (e.g. DMA, NVM FSMs)
Creation of verification plans and execution of coverage closure
Provide relevant reports to show progress
Run regressions / help set up automatic regressions and debug failures / drive debugging
Run verification environments quality checks with Certitude and improve environment to reach ASIL-D level for verification environment
Skillset
Proven working experience within the semiconductor industry in constraint random functional and formal verification
Expertise in hardware verification using
SystemVerilog UVM
Expertise in formal verification using
Cadence JasperGold
Knowledge of using regression and coverage analysis tools as well as knowledge of test bench qua...