Formal Verification Engineer
Project Role Description : Ensure design correctness using mathematical methods like model checking and equivalence checking, without relying on simulation. Detect corner-case bugs early in the design cycle to improve quality and reduce verification time.
Must have skills : SoC Verification
Good to have skills : NA
Minimum 5 year(s) of experience is required
Educational Qualification : 15 years full time education
Summary:
As a Formal Verification Engineer, a typical day involves applying rigorous mathematical techniques to validate the accuracy and reliability of complex system designs. This role focuses on ensuring that designs meet their specifications by employing advanced verification methods that do not depend on traditional simulation. The engineer works proactively to identify subtle and rare design issues early in the development process, thereby enhancing overall product quality and streamlining the verification timeline. Collaboration with various teams to integrate verification strategies and contribute to continuous improvement is a key aspect of daily activities.
Roles & Responsibilities:
- Define test plan/design, test cases, and develop test scripts for RPG product validation.
- Collaborate with architecture and design teams to define validation flows.
- Experience in PHY verification and high-speed blocks with IOs.
- Run and debug gate-level simulations.
- Familiarity with APB/AXI protocols and verification methodologies
- Expected to be an SME, collaborate and manage the team to perform.
- Responsible for team decisions.
- Engage with multiple teams and contribute on key decisions.
- Provide solutions to problems for their immediate team and across multiple teams.
- Lead the development and implementation of formal verification methodologies to ensure design integrity.
- Coordinate cross-functional efforts to align verification goals with project timelines and deliverables.
- Mentor junior team members to build expertise in formal verification techniques and best practices.
Professional & Technical Skills:
- Must To Have Skills: Proficiency in SoC Verification.
- Strong knowledge of formal verification techniques including model checking and equivalence checking.
- Experience with property specification languages and assertion-based verification.
- Ability to analyze complex design specifications and translate them into formal verification properties.
- Familiarity with hardware description languages and verification environments.
- Skilled in debugging and resolving verification issues to ensure design correctness.
Additional Information:
- The candidate should have minimum 5 years of experience in SoC Verification.
- This position is based at our Bengaluru office.
- A 15 years full time education is required.
Bengaluru
平等就业机会声明
所有聘用决定均不考虑年龄、种族、信仰、肤色、宗教、性别、国籍、血统、残疾状况、退伍军人身份、性取向、性别认同或表达、基因信息、婚姻状况、公民身份或任何其他受联邦、州或地方法律保护的因素。
求职者在招聘过程中没有义务披露已封存或已删除的定罪或逮捕记录。
埃森哲致力于为我们的男女军人提供退伍军人就业机会。
请阅读埃森哲的招聘和聘用声明，了解更多关于我们在招聘和聘用过程中如何处理您的数据的信息。
We work with one shared purpose: to deliver on the promise of technology and human ingenuity. Every day, more than 775,000 of us help our stakeholders continuously reinvent. Together, we drive positive change and deliver value to our clients, partners, shareholders, communities, and each other.
We believe that delivering value requires innovation, and innovation thrives in an inclusive and diverse environment. We actively foster a workplace free from bias, where everyone feels a sense of belonging and is respected and empowered to do their best work.
At Accenture, we see well-being holistically, supporting our people’s physical, mental, and financial health. We also provide opportunities to keep skills relevant through certifications, learning, and diverse work experiences. We’re proud to be consistently recognized as one of the World’s Best Workplaces™.
Join Accenture to work at the heart of change. Visit us at www.accenture.com.