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