Location
Bengaluru, Karnataka, India
Posted
June 05, 2026
Job Description
Minimum Qualification:
Bachelor's/ Master's degree in Electrical Engineering or Computer Science, or equivalent practical experience.
3-10 years of experience with formal verification ASIC design.
Experience writing formal properties using System Verilog Assertions (SVA).
Experience with EDA tools (e.g., JasperGold, Questa Formal, VC Formal
Preferred qualifications:
Master's degree or PhD in Electrical Engineering or Computer Science.
Experience with scripting languages.
Knowledge of specific formal applications, abstraction techniques and proof convergence strategies.
Responsibilities:
Develop formal verification test plans to verify digital hardware designs.
Work cross functionally with teams to analyze specifications and resolve bugs.
Drive improvements to formal verification methodologies to enhance quality and efficiency.
Bachelor's/ Master's degree in Electrical Engineering or Computer Science, or equivalent practical experience.
3-10 years of experience with formal verification ASIC design.
Experience writing formal properties using System Verilog Assertions (SVA).
Experience with EDA tools (e.g., JasperGold, Questa Formal, VC Formal
Preferred qualifications:
Master's degree or PhD in Electrical Engineering or Computer Science.
Experience with scripting languages.
Knowledge of specific formal applications, abstraction techniques and proof convergence strategies.
Responsibilities:
Develop formal verification test plans to verify digital hardware designs.
Work cross functionally with teams to analyze specifications and resolve bugs.
Drive improvements to formal verification methodologies to enhance quality and efficiency.