Formal Verification Engineer

Intel
Hillsboro, OR 97123
  • Job Code
    JR0183307
Job Description

Verification of the microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs (Graphics, Server IPs, processors and SOCs).

Using the hardware architecture design and RTL implementation details, define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design, Carve out the right boundaries for the design, create comprehensive Formal Verification test plans, track, verify, apply abstraction techniques and converge on complex designs to deliver a high quality design on schedule and articulate the ROI.

Analyses new methodologies, evaluates new tools and corroborate results. May work with vendors on resolving hard design and tool problems.


Qualifications

You must possess the below minimum qualifications to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates. Experience listed below would be obtained through a combination of your schoolwork/classes/research and/or relevant previous job and/or internship experiences. This is an entry level position and will be compensated accordingly.


Minimum Qualifications:

The candidate must have a PhD degree in Electrical/Computer Engineering, Computer Science or a related field -OR- Master's degree in Electrical/Computer Engineering, Computer Science or a related field with 2+ years experience in the following:

  • Computer architecture, digital design and verification methods
  • RTL languages such as System Verilog or VHDL

Preferred Qualifications:

  • Fundamentals of formal verification technology, including model checking and writing formal assertions to express architectural intent of designs
  • Formal verification principles and methods

Inside this Business Group

The Product Enablement Solutions Group (PESG) is a worldwide organization that delivers an end-to-end design system for development of IPs, Cores and SOCs. This business group partners with the Semiconductor, IP and EDA eco-systems and leverages an incomparable mix of experts with different backgrounds, cultures, perspectives, and experiences to deliver a world-class design system that powers Intels leadership products.



Other Locations

US, California, Santa Clara



Posting Statement

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.

Before you go...

Our free job seeker tools include alerts for new jobs, saving your favorites, optimized job matching, and more! Just enter your email below.

Share this job:

Formal Verification Engineer

Intel
Hillsboro, OR 97123

Join us to start saving your Favorite Jobs!

Sign In Create Account