Sr Engineer, Low Power Verification & Formal Equivalence

SiFive, Inc.; Hinoba-an; On-site; PHP 900,000 - 1,300,000; Full time

Job summary

SiFive, Inc. seeks a Senior Engineer to drive Low Power Verification and Formal Equivalence signoff for RTL-to-GDSII. You will own static low power checks and UPF verification, partnering with Physical Design and Power teams to ensure correct power intent.

You will lead the LEC flow, implement and verify formal ECOs, and coordinate with backend teams to resolve power and parity issues, delivering robust, verified blocks for the tapeout.

Qualifications

• Bachelor's degree in Electrical/Computer Engineering with 3+ years in ASIC/SoC design and verification.
• Strong UPF knowledge for power intent coding, debugging, and maintenance.
• Experience with static low power checks on RTL and post-PNR netlists using standard tools.
• Hands-on with LEC/Formal Signoff tools and ECO flows.
• Understanding power management libraries and related PD implications.

Responsibilities

• Lead Low Power Signoff Execution across design blocks with full coverage.
• Deploy UPF implementation, verification flows, and automation.
• Own Formal Equivalence Checking flow from RTL to netlists, including ECOs.
• Collaborate with Physical Design and backend teams to resolve power and parity issues.

Skills

UPF proficiency

Static power verification

Formal signoff

Scripting (Tcl, Python)

RTL/post-PNR analysis

Education

Bachelor's degree in Electrical Engineering or Computer Engineering

Tools

Synopsys VC Low Power

Synopsys Formality

Job description

About SiFive As the pioneers who introduced RISC-V to the world, SiFive is transforming the future of compute by bringing the limitless potential of RISC-V to the highest performance and most data-intensive applications in the world. SiFive’s unrivaled compute platforms are continuing to enable leading technology companies around the world to innovate, optimize and deliver the most advanced solutions of tomorrow across every market segment of chip design, including artificial intelligence, machine learning, automotive, data center, mobile, and consumer. With SiFive, the future of RISC-V has no limits. At SiFive, we are always excited to connect with talented individuals, who are just as passionate about driving innovation and changing the world as we are. Our constant innovation and ongoing success is down to our amazing teams of incredibly talented people, who collaborate and support each other to come up with truly groundbreaking ideas and solutions. Solutions that will have a huge impact on people's lives; making the world a better place, one processor at a time. Are you ready? To learn more about SiFive’s phenomenal success and to see why we have won the GSA’s prestigious Most Respected Private Company Award (for the fourth time!), check out our website and Glassdoor pages.

Job Description:

About the Role

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).

Key Responsibilities

• Low Power Signoff Execution: Take ownership of static low power verification checks across assigned design blocks and sub-systems, ensuring complete coverage and zero low-power structural bugs.
• UPF Implementation & Automation: Deploy, optimize, and maintain Unified Power Format (UPF) coding and verification flows, collaborating with architecture and methodology teams to ensure alignment with platform standards.
• Formal Equivalence Ownership: Own and drive the Logical Equivalence Checking (LEC) flow for your design blocks, ensuring strict logical equivalence from RTL through post-route netlists, including the execution of complex functional ECOs.
• Cross-Functional Collaboration: Apply your understanding of Physical Design constraints and power architectures to debug violations and provide optimal, implementable UPF and equivalence solutions alongside backend teams.

Required Qualifications

• 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.

Preferred Qualifications

• Physical Design Foundation: Solid foundational knowledge of the backend Physical Design (PD) flow, enabling you to anticipate implementation challenges and bridge the gap between frontend intent and backend realization.
• Scripting & Automation: Strong scripting proficiency (Tcl, Python, or Perl) to drive flow automation, parse log files, and implement methodology improvements.

Additional Information

This position requires a successful background and reference checks and satisfactory proof of your right to work in: India Any offer of employment for this position is also contingent on the Company verifying that you are a authorized for access to export-controlled technology under applicable export control laws or, if you are not already authorized, our ability to successfully obtain any necessary export license(s) or other approvals.

Equal Opportunity

SiFive is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees. Championed by leaders who chose to make a real difference, SiFive led the RISC-V revolution—creating a tremendous wave with the strength to remove economic hurdles and create opportunities for all. Now that we’ve made history, you have the opportunity to write the future. If you love to be challenged, you can join the best of the best and get rewarded for doing something that truly matters.