Intel Formal Verification Engineer in Santa Clara, California

Job Description

The BaseBand & SoC Development group within Intel's Communication and Devices Group is looking for experienced Formal Verification Engineers to join the team. We are a global team of passionate engineers and technologists from diverse industry backgrounds working together to realize a world of connected computing.

We are on the journey towards making Intel a wireless leader in the delivery of exciting products for the Internet of Things, 5G Next generation Wearable and IoT solutions and other world-class wireless connectivity technologies and products


The Formal Verification role will involve many aspects of functional verification including SoC and modem verification using most effective formal methodologies. A strong ability to map requirements into a traceable verification plan is important. Additionally, you'll verify the micro-architecture using formal verification tools to employ the latest model checking and equivalence checking techniques. You will be expected to understand the design & implementation, define the verification scope, and ensure design correctness. You will use advanced formal techniques to obtain full proofs, or sufficient bounded proofs, of the design while working with architects, designers, pre- and post-silicon verification teams to accomplish your tasks. You must be capable of leading the formal verification effort, coordinating verification coverage across functional groups, and clearly conveying verification results to our team.

What you'll do:

  • Plan the formal verification strategy, create the properties and constraints for complex digital design blocks

  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties

  • Contribute improvements to methodologies to enhance formal verification results

  • Architect and implement reusable formal verification components.

  • Review formal setups and proofs with design and verification teams

  • Maintain and extend assertion libraries, including support for both simulation and FV

  • Identifying key behaviors for verification of DUT and creating a verification plan

  • Develop verification environment including environment assumptions, assertions and cover properties in context of the verification plan

  • Apply various FV techniques to prove correctness of digital designs

  • Debug RTL to identify causes of failure scenarios

Your responsibilities will include:

  • Formal Verification test bench development and implementation

  • Become proficient in Jasper Formal tools

  • Development of verification test bench components such as drivers, monitors, response checkers as well as use most advanced UVM VIPs

  • Understand and analyze RTL code, functional, assertion coverage results

  • Understand Develop functional coverage

  • Understand and develop System Verilog assertions

  • Understand and implement formal verification methods

  • Debug, failure re-creation and root cause analysis


Bachelor or Masters degree in Communication Systems, Computer Science or Electrical Engineering, PhD is a plus

  • At least 7+ years’ experience in relevant Pre-Silicon validation position and must have gone through multiple project cycles to gather in-depth experience.

  • At least 5 years proven experience in design and verification with cellular modem SoCs 2G, 3G, LTE

  • Knowledge of wireless communications systems and standards, including LTE (FDD/TDD) and UMTS.

  • Strong experience in logic design/verification with various tools and methodologies including: System Verilog, Perl, OVM/UVM, VCS/synopsys simulators, Coverage Tools, Power Mgmt. Validation

  • Experience with simulation and verification for FPGA and

  • Emulation platforms

  • Experience with C/C++, Python, Matlab and/or other simulation and modeling tools/languages

  • Experience with Linux/Unix operating system and with revision control systems such as Clearcase

  • Applicant should have efficient debugging and logic skills

  • Familiarity with major simulation and debug tool vendors is a plus

Inside this Business Group

Communication & Devices Group: The wireless revolution at Intel! We are one team - passionate engineers and technologists from diverse industry backgrounds working together to realize a world of connected computing. We are bringing the best ideas from the brightest minds to deliver future mobile experiences into the market. We are on the journey towards making Intel a wireless leader with exciting products for the Internet of Things, 5G and an opportunity to change the world with your work.

Other Locations

US, Texas, Austin

Posting Statement. Intel prohibits discrimination based on race, color, religion, gender, national origin, age, disability, veteran status, marital status, pregnancy, gender expression or identity, sexual orientation or any other legally protected status.