Intel 5G Formal Verification Engineer in Santa Clara, California

Job Description

The BaseBand & SoC Development group within I ntel's Communication and Devices Group is looking for experienced Formal Verification Engineers to join our 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. Additionally, you'll verify the micro-architecture using formal verification tools to employ the latest model checking and equivalence checking techniques. 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. You will be a part of the leading the formal verification effort, coordinating verification coverage across functional groups, and clearly conveying traceable verification plan and results to the 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

Qualifications

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

#iCDG

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.