Back
Login to See Your Match Score
Create a free account or log in to unlock your CV match score across:
Tier-1 brand and Bangalore increase applicants, but niche formal verification skill reduces candidate pool.
Highly specialized semiconductor formal verification skills are not easily transferable across industries.
Explicit 2-18 years requirement plus mandatory formal verification domain expertise creates strict screening filters.
Conduct formal verification of IP and SoC microarchitecture using model checking and equivalence checking tools and methodologies.
Develop and execute comprehensive formal verification test and coverage plans, including abstraction modeling and convergence techniques.
Collaborate with architects and design teams to improve verification of complex architectural features and maintain verification infrastructure and methodologies.
2-18 years of experience in formal verification.
Degree: BTech/MTech in Electronics, Electrical or Computer Science preferred but not explicitly mandatory.
Location: Bangalore, India; hybrid work model available.
Work Experience Required: 2-18 years in formal verification.
Experienced in using formal verification tools involving BDD, DFG, and formal proof development.
Able to create and execute detailed verification plans including abstraction and simulation techniques for complex SoC designs.
Familiar with collaboration across RTL design, architecture, and physical design teams in a high-complexity verification environment.