Formal Verification
MediaTek · Bangalore
Source and collection record
Last observed by our collector: . This is not a manual review or a confirmation from the employer.
Employer requisition: MTB120250325001
Job type and experience labels are automated discovery categories. The employer determines eligibility. Original experience wording was not retained separately; check the current employer page.
Your application evidence checklist
Mark the statements you can support after reading the employer source. This checklist stays on this page; it does not score your eligibility or submit an application.
0 of 3 checks marked. Keep unresolved requirements as questions for the employer.
Collected role description
Category: Chip Design Experience: More than 8 Years Work Expe. Education: Master's Degree - VLSI Design Job Function Functional Formal Verification Engineer – Lead We are seeking an experienced Functional Formal Verification Engineer to join our team and lead formal verification efforts for complex digital designs. As a Lead Formal Verification Engineer, you will play a critical role in ensuring the quality and reliability of our digital designs. Qualifications: • Bachelor's or Master's degree in Electrical/Electronics Engineering, Computer Engineering, or a related field. • 5+ years of experience in formal verification of complex IP/SubSystem/SoCs, with a strong understanding of digital logic design and verification techniques. • Expertise in formal verification tools and property specification languages (e.g., SVA, PSL), as well as proficiency in HDLs such as System Verilog, Verilog or VHDL. • Experience with industry-standard EDA formal tools. • Experience with scripting languages (e.g., Python, Tcl, Perl) and programming languages such as C/C++/SystemC. • Excellent problem-solving and analytical skills, with the ability to debug complex issues and optimize verification performance. • Strong communication and interpersonal abilities, with experience working in a team environment and collaborating with cross-functional teams. • Proven track record in technical leadership and mentoring, with experience guiding junior engineers and contributing to the development of formal verification methodologies. Responsibilities • Lead complete formal verification for single or multiple design blocks and IPs, including developing and implementing formal verification strategies and test plans. • Create comprehensive formal verification test plans and specifications to ensure thorough coverage of design functionality. • Prove design properties, identify bugs, and collaborate with design teams to improve micro-architectures and ensure design correctness. • Craft innovative solutions for verifying complex design architectures, including developing re-usable and optimized formal models and verification code bases. • Mentor junior team members and provide technical leadership in formal verification methodologies, including training and guidance on industry-standard tools and techniques. • Collaborate with cross-functional teams, including design and verification, to ensure seamless integration of formal verification into the overall verification flow. Preferred Skills: • Experience with CPU, GPU, or other complex digital architectures, including knowledge of industry-standard protocols (e.g., AXI, CHI, PCIe). • Familiarity with UVM methodology and/or other simulation-based verification methodologies. • Experience with advanced FV performance optimization techniques, such as abstraction methods, property decomposition, and other state-space reduction techniques. • Expertise in Jasper or VC Formal products is highly desirable. Job Locations • India: Bangalore
Collected minimum qualification
Master's Degree - VLSI Design
Collected experience requirement
8+ years