IBM Functional Verification Engineer 

India, Karnataka, Bengaluru 

558454047

• Understand the design specification and logic design implementation understanding
• Develop the verification environment and test bench from formal perspective (bottom – up approach)
• Develop skills in IBM Formal verification tools and apply them successfully
• Work with Design as well as other key stakeholders in resolving/debugging logic design issues and deliver a quality design.

Required Technical and Professional Expertise

• 5 – 10 years of relevant industry experience
• Proven experience in Formal/Functional Verification – Demonstrated execution experience of verification of logic blocks verification.
• Knowledge of formal methodology, Knowledge of HDLs (Verilog, VHDL, SV), Good programming skills in python, processor core u-arch skills
• Exposure in developing testbench environment, debugging and triaging fails.
• Good communication skills and be able to work effectively in a global team environment.
• Drive verification coverage closure, lead verification team.
• Drive complex scenarios, participate in High level design discussions.
• Track record in leading teams.

Preferred Technical and Professional Expertise

• Writing test plans, building random / exhaustive formal verification environment, functional and coverage analysis and debug.
• Good understanding of the Server System