Sr Engineer, Low Power Verification & Formal Equivalence

About this role

Not quite right? These jobs in Bengaluru match the same skills — apply to a few to improve your chances.

Senior Machine learning Engineer

Bosch Group

In OfficeBengaluru

Apply

AI and Machine Learning Engineer

HPE

In OfficeBengaluru

Apply

Research Scientist - Machine Learning

GE Vernova

In OfficeBengaluru

Apply

AI and Machine Learning Engineer

HPE

In OfficeBengaluru

Apply

Skills you'll use

What you'll do

• We are seeking a highly skilled Senior Engineer to drive our Low Power Verification and Formal Equivalence signoff execution. In this critical role, you will take ownership of static low power checks and formal verification flows for our advanced, high-performance design blocks and sub-systems. You will partner closely with Physical Design and Power teams to ensure robust power intent implementation and flawless logical equivalence throughout the RTL-to-GDSII flow, including executing complex, late-stage engineering changes (ECOs).

Who can apply

• Education & Experience: Bachelor's degree in Electrical Engineering, Computer Engineering, or a related field, with 3+ years of relevant industry experience in ASIC/SoC design and verification.
• Power Intent Proficiency: Strong, practical experience coding, debugging, and maintaining power intent using the Unified Power Format (UPF).
• Static Power Verification: Proven expertise running, analyzing, and debugging static low power checks on both RTL and post-PNR netlists using industry-standard tools (e.g., Synopsys VC Low Power / VCLP).
• Formal Signoff: Hands-on experience with Logical Equivalence Checking (LEC) and Formal Equivalence tools (e.g., Synopsys Formality), including experience implementing and verifying formal ECO flows.
• Low Power Libraries: Technical understanding of Power Management library cells and their physical/logical implications, including Isolation cells (ISO), Level Shifters (LS), Always-On (AON) cells, and Retention registers.

About SiFive

Searching for “SiFive jobs” or “jobs at SiFive”? You’re in the right place.