Intel 5G Formal Verification Engineer in Santa Clara, California
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
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
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.
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.