Formal Verification Engineer

Ampere Computing
Hybrid remote in Durham, North Carolina
Report

Job Description

We are building a team of pre-silicon design verification (DV) engineers in the Santa Clara, CA., Portland, OR., and Raleigh, NC areas to help us guarantee first silicon success of our upcoming roadmap.


Ampere has the leadership, discipline, and vision to conquer the datacenter. The only thing we are missing is YOU!

Are you a Formal Verification Engineer looking to invent the future for performance computing in an energy challenged world? Would you like to be part of a growing team inventing a new category of microprocessors known as "Cloud Native Processors". Come join us...Great things are about to happen!!!

The Role

Do you have a passion for using the most rigorous mathematical techniques to ensure A0 works as expected? Do you enjoy uncovering functional bugs where constrained random techniques fail? As a member of Ampere’s Coherent Mesh Design Verification (DV) team, you will help verify the correctness of a server-class SoC interconnect. You will work with architecture, design, and DV team members to write a plan, implement proofs, and debug failures. We are building this team from scratch: you will have complete responsibility to define and embody this role.

What the Team wants you to know

Design Verification is an integral part of the chip design process. We ensure our customers get the absolute highest quality products that meet their functional and performance requirements. Ampere’s DV team is dedicated to the art of testbench design, and the disciplines of formal proof and coverage closure.

We take software engineering seriously. We:

  • Use version control, continuous integration, and a bug database.
  • Automate relentlessly.
  • Run nightly regressions.
  • Write and review specifications.
  • Use the best tools money can buy.
  • Maintain an up-to-date schedule.

What you already bring to the table

  • 3+ years of Formal Verification
  • Experience using formal verification EDA tools: Cadence JasperGold, Synopsys VC Formal
  • Experience using RTL simulation EDA tools: Cadence Xcellium, Synopsys VCS, Siemens Questasim
  • Deep knowledge of computer architecture, especially memory hierarchy and thread-level parallelism
  • Experience using industry standard HDL languages: SystemVerilog, VHDL
  • Experience specifying module-level formal proofs using SystemVerilog Assertions (SVA)
  • Experience with programming languages: C, C++, Python
  • Experience with Arm AMBA (APB, AXI, CHI) protocols.
What is "nice to have"
  • Knowledge of ARM 64-bit “Neoverse” architecture is preferred.
  • Experience specifying protocol-level formal proofs using Murphi or TLA+ is preferred.
  • Hands on experience with post-silicon validation is preferred.

Education


  • BS/MS Electrical Engineering and/or Computer Science
  • Bachelors degree and a minimum 5 years related experience; or Masters degree and a minimum of 3 years related experience.

Perks in Raleigh

  • Modern and open office setting
  • Four miles of jogging and pedestrian trails
  • Walking distance to various restaurants and shopping
  • Healthy snacks, espresso, and drinks
  • Adjustable sit-stand desks
  • Unlimited Flextime and 11+ paid holidays

Perks in Santa Clara

  • Office has panoramic views of Silicon Valley
  • Garage parking
  • Gym and café on campus
  • Healthy snacks, espresso and drinks
  • Standing /Ergo friendly desk set-up
  • Ping-pong/game room
  • Unlimited Flextime and 11+ paid holidays

Perks in Portland

  • Walking distance of breweries, landscaped parks, art galleries, restaurants and shops
  • Garage parking
  • On-site bike parking and repair station
  • Gym
  • On-site café, bar, and market
  • Roof top terrace with Willamette River views
  • Healthy snacks, espresso and drinks
  • Standing /Ergo friendly desk set-up
  • Game room
  • Unlimited Flextime and 11+ paid holidays

Pay and Benefits

Ampere offers a competitive total rewards package that includes base pay, bonus, stock, and comprehensive benefits. The full base pay range for this role is between $108,000 and $180,000, except in the San Francisco Bay Area where the range is between $116,000 and $194,000. We also offer an annual bonus program tied to internal company goals and annual meritocratic stock awards that enable our employees to participate in the success of the company. Our benefits include health, wellness, and financial programs that support employees through every stage of life, with full benefits eligibility at 20 hours per week. Beyond compensation and benefits, our passionate teams thrive in an inclusive culture that empowers our employees to do more and grow more - all in service of inventing industry leading cloud-native designs that contribute to a more sustainable future. We look forward to sharing more about our career opportunities through interviews but reach out to talent@amperecomputing.com if you have questions that can’t wait.

About Ampere

Ampere is designing the future of hyperscale cloud and edge computing with the world’s first cloud native processor. Built for the cloud with a modern 64-bit Arm server-based architecture, Ampere gives customers the freedom to accelerate the delivery of all cloud computing applications. With industry-leading cloud performance, power efficiency and scalability, Ampere processors are tailored for the continued growth of cloud and edge computing.

Our Story

Like the scientist behind its name, Ampere employees are innovators. We understand the needs of cloud computing and different software requirements. We are inventing what comes next and looking at everything from the structure of memory and how efficient the system is, to considerations on speed, cost of electricity and ability to cool. Power, size, weight and cost are driving the technology requirements and the innovation to come.

Our world class team of engineers, with depth and expertise in the cloud and semiconductor industries, is not only focused on the development of new semiconductor designs but also building out the first software ecosystem for Arm®-based server processors. Through the Ampere approach to the cloud and edge, we give our customers the freedom to challenge the status quo and accelerate next-generation data centers for the most memory-intensive applications. Given the challenge we have outlined, we are building a culture of entrepreneurs that ensure customers come first, proactively approaching industry challenges in the areas of security, power and performance, delivering results that matter most.

#LI-GW1
#LI-Hybrid


Ampere Computing
Engineering
Full Time
Onsite
Competitive
See Description for Experience
1 year, 8 months ago