Skip to main content Skip to footer

Silicon Formal Verification Engineer

Ontario - Ottawa Job No. r00153179 Full-time

Job Description

We Are:

The Silicon Design group is a diverse team of world class silicon design, verification and validation experts. We have 100+ years of cumulative hands-on experience in architecture, logic design, verification, physical design, emulation and firmware. We use the latest silicon technologies and processes to help our clients create well-designed solutions to highly complex challenges. We are designing and developing next-generation, high performance SoCs, supporting our clients in their drive to deliver their product vision to their users. We are involved in all aspects of chip design from definition and architecture through to verification and signoff. Accenture Consultants are true “Silicon to SW” Partners, allowing a new breed of companies in the semiconductor ecosystem to innovate in an unparalleled time to market.


You Are:

An experienced Formal Verification Engineer able to provide formal verification services for multiple blocks and IP’s.

The Work:

  • Developing formal verification test plan
  • Drive automation of formal testbenches and ensure they are a part of regressions
  • Develop assertions, cover properties and connectivity checks and debug any failures in RTL regressions
  • Work with cross functional teams (DV/Arch/Design/FW)
  • Engage with the team to drive continuous improvement to the verification environment to find more bugs and improve coverage
  • Work as a team to grow together.
  • Mentor and coach junior team members


Here’s what you need:

  • A minimum of three years of experience with Formal Verification
  • Bachelor’s Degree or equivalent (12 years) work experience (If an, Associate Degree with 6 years of work experience).

Priority Skills

  • Experience working with one or more formal verification tools such as Jasper gold, VC-Formal, Incisive Formal Verifier (IFV), Questa Formal, etc.
  • Experience in interpreting design specifications and using temporal logic assertion-based languages such as SVA
  • Experience in formal property verification (FPV), Sequential Logic Equivalence Checking (SEC/SEQ/SLEC), and/or academic formal methods
  • Experience with hardware description languages (SystemVerilog, Verilog, VHDL) and simulators (VCS, NC, Questa).

Bonus Points If:

  • Proficiency in programing/scripting languages
  • In-depth knowledge of digital logic design, chip architecture and microarchitecture
  • Problem solving and debug skills for complex logic and digital designs
  • Team player with excellent communication skills and be able to work independently on the verification efforts for a block/area of the design



Life at Accenture

Training and Development

Take time away to learn and learn all the time in our regional learning hubs, connected classrooms, online courses and learning boards.

Work Environment

Be your best every day in a work environment that helps drive innovation in everything you do.

Learn more about Accenture

Our Expertise

See how we embrace the power of change to create value and shared success for our clients, people, shareholders, partners and communities.

Meet Our People

From entry-level to leadership, across all business and industry segments, get to know our people harnessing technology to make a difference, every day.

Stay connected

Join Our Team

Search open positions that match your skills and interest. We look for passionate, curious, creative and solution-driven team players.

Keep Up to Date

Stay ahead with careers tips, insider perspectives, and industry-leading insights you can put to use today–all from the people who work here.

Job Alert Emails

Personalize your subscription to receive job alerts, latest news and insider tips tailored to your preferences. See what exciting and rewarding opportunities await.