Functional Formal Verification Engineer - Lead
MediaTekBangalore (division)12 days ago
Job descriptionLead 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. 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.
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.
- 10+ 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
Preferred Skills :
Create a job alert for this search
Verification Engineer • Bangalore (division)
Related jobs
)
- Promoted
ARM Design Verification Lead
L&T Technology ServicesTumkur, IN You should be a verification engineer with a knowledge of SoC integration verification, SoC scenario verification, SoC performance verification, CHI / PCIe / CXL, DDRx / LPDDRx integration verification i...Show moreLast updated: 30+ days ago
- Promoted
Oracle FCCS Functional Consultant
Intellicore Consulting GroupTumkur, IN Oracle financial close and consolidation cloud service (FCCS).Excellent Functional knowledge on Financial Consolidation and close process.
Lead the overall project, solution design & design validati...Show moreLast updated: 30+ days ago
- Promoted
AMS Verification Engineer / Lead
eInfochips (An Arrow Company)Tumkur, IN Minimum 6 years relevant experience is required.Bangalore, Hyderabad, Noida, Chennai, Ahmedabad, Pune.Min 6 Years of overall experience in ASIC Verification.
Should have worked on AMS Verification f...Show moreLast updated: 30+ days ago
- Promoted
Functional Verification Engineer
ACL DigitalBangalore (division) Lead Functional Verification Engineer.Lead verification activities for complex CPU cores, memory subsystems, and high-speed PCIe IPs.
Define verification strategy, test plan, and coverage goals base...Show moreLast updated: 14 days ago
- Promoted
FPGA verification and validation
OrcapodBangalore (division) FPGA verification and validation.Total year of experience : 7 to 14 yrs.Notice period : immediate or a minimum of 60 days notice.
Bachelor's / Master's degree in Engineering (Electronics and Com...Show moreLast updated: 5 days ago
- Promoted
Senior Engineer - Protocols
RecroTumkur, IN As a Software Engineer, you will play a key role in enhancing our cloud-scale NAS platform.Your responsibilities will include : .
Collaborating on requirements analysis, design reviews to evolve Nasun...Show moreLast updated: 27 days ago
- Promoted
- New!
Founding MLOps Engineer
Vectorial AITumkur, IN Vectorial is a simulation engine platform powered by millions of synthetic users—state-of-the-art models that capture real human behavior—to deliver instant, nuanced validation across the entire pr...Show moreLast updated: 21 hours ago
- Promoted
Functional QA – Capital Market Domain
Publicis SapientTumkur, IN Functional QA – Capital Market Domain.Gurugram / Bangalore (Hybrid – 3 days office per week).Analyze business and functional requirements, design comprehensive test cases, and execute manual testin...Show moreLast updated: 4 days ago
- Promoted
- New!
Security Engineer
Insight GlobalTumkur, IN REMOTE : INDIA - MUST CROSS OVER TO U.FIXED FULLTIME ENGAGEMENT : STARTING AT 6 MONTHS (FULL TIME BENEFITS).Endpoint & identity detection expertise—CrowdStrike Falcon / IDP preferred—plus strong profic...Show moreLast updated: 21 hours ago
- Promoted
Founding Engineer
CT Nova TechnologiesTumkur, IN CT Nova is founded by ex–Google and ex–Microsoft leaders, partnering with Microsoft to evolve its Community Training platform into a next-generation, AI-powered learning ecosystem.With 12M users ac...Show moreLast updated: 7 days ago
- Promoted
Prompt Engineer
Innodata Inc.Tumkur, IN Demonstrated experience programmatically using LLMs to automate data labeling, classification, localization and annotation tasks.
Strong expertise in Python for NLU, for data processing & transforma...Show moreLast updated: 6 days ago
- Promoted
SAP CFIN Functional Tester
Xsell ResourcesTumkur, IN Seeking a Senior SAP Central Finance Functional Tester for our Fortune 5 Healthcare client in the US.You will work remotely from India during 2nd shift hours.
Design and execute functional test case...Show moreLast updated: 7 days ago
- Promoted
Formal Verification Engineer
ACL DigitalBangalore (division) Semiconductor / ASIC Design / EDA.Tech in ECE / EEE / Computer Engineering.We are looking for a highly motivated.The candidate will be responsible for developing and executing formal verification strat...Show moreLast updated: 14 days ago
- Promoted
ASIC Verification Lead
eInfochips (An Arrow Company)Tumkur, IN Job Locations : Bangalore / Hyderabad / Ahmedabad / Chennai (WORK FROM OFFICE ONLY).NO WORK FROM HOME OR REMOTE WORK).Best In Class Employee Welfare Practices.
Cutting Edge, Full Chip ODC Projects.Higher ...Show moreLast updated: 30+ days ago
- Promoted
Oracle Fusion SCM Functional Consultant
Intellicore Consulting GroupTumkur, IN Oracle Enterprise Resource Planning, Enterprise Performance Management, Business Intelligence & Analytics and Digital Transformations.
You can learn more about our offerings by visiting our website : ...Show moreLast updated: 30+ days ago
- Promoted
Verification Engineer
metavlsiBangalore (division) We’re Hiring | Formal Verification Engineer.Are you passionate about solving complex verification challenges? We are looking for an experienced.
Bachelor’s degree in Computer Science, Computer Engin...Show moreLast updated: 14 days ago
- Promoted
IFS Architect
Numeric TechnologiesTumkur, IN Shift Timing : 2 : 00 PM - 10 : 00 PM IST / Remote.This is a cross-functional leadership role responsible for solution architecture, integration strategy, and governance across modules like Supply Chain...Show moreLast updated: 20 days ago
- Promoted
Founding Engineer
iksa.aiTumkur, IN EHRs, labs, claims, and devices into a single intelligent layer that lives inside healthcare organizations’ cloud environments.
We’re a team of clinicians and AI engineers who’ve : .Managed chronic-ca...Show moreLast updated: 4 days ago