Are you passionate about ensuring the highest level of quality in complex designs? Do you have a strong background in formal verification techniques and methodologies? If so, Intel is seeking a talented Formal Verification Engineer to join our team. As a Formal Verification Engineer, you will play a critical role in ensuring the correctness and completeness of our designs through the use of advanced formal verification tools and techniques. This is an exciting opportunity to work on cutting-edge technology and make a significant impact on the development of Intel's products. If you have a strong attention to detail, excellent problem-solving skills, and a deep understanding of formal verification, we want to hear from you! Join us at Intel and be a part of our mission to shape the future of technology.
- Utilize formal verification tools and methodologies to rigorously verify the correctness and completeness of complex designs.
- Collaborate with design and verification teams to develop and implement formal verification strategies for new designs.
- Develop and maintain formal verification testbenches and environments.
- Write formal verification properties and assertions to identify design bugs and ensure functional correctness.
- Analyze and debug formal verification failures to identify root causes and propose solutions.
- Continuously improve formal verification processes and methodologies to increase efficiency and effectiveness.
- Stay updated on the latest formal verification techniques and tools, and apply them to improve verification flows.
- Work closely with design and verification teams to review and analyze design specifications for formal verification suitability.
- Clearly communicate formal verification results and findings to cross-functional teams and provide recommendations for design improvements.
- Contribute to the development of formal verification guidelines and best practices for the team.
- Participate in design and code reviews to identify potential issues and ensure adherence to formal verification methodologies.
- Assist in the training and mentoring of junior formal verification engineers.
- Collaborate with cross-functional teams to drive the adoption of formal verification across the organization.
In-Depth Understanding Of Formal Verification Methodologies And Tools, Such As Model Checking, Theorem Proving, And Equivalence Checking.
Proficiency In Hardware Description Languages (Hdls) And Verification Languages, Such As Verilog, Systemverilog, And Systemc.
Experience With Industry-Standard Formal Verification Tools, Such As Cadence Jaspergold, Synopsys Vc Formal, Or Onespin 360 Dv-Verify.
Strong Background In Computer Architecture, Digital Design, And Logic Design Principles.
Excellent Problem-Solving And Analytical Skills, With The Ability To Identify And Debug Complex Design And Verification Issues.
Debugging
Coverage analysis
Logic Design
Verification Planning
Formal Methods
Testbench Development
Coding Proficiency
Model Checking
Theorem Proving
Property Specification
Assertion Writing
Communication
Conflict Resolution
Leadership
Time management
Interpersonal Skills
creativity
Critical thinking
Teamwork
Adaptability
Problem-Solving
According to JobzMall, the average salary range for a Formal Verification Engineer in Phoenix, AZ, USA is between $98,000 and $140,000 per year. This range can vary depending on factors such as experience, skills, and the specific company or industry.
Apply with Video Cover Letter Add a warm greeting to your application and stand out!
Intel Corp. engages in the design, manufacture, and sale of computer products and technologies. It delivers computer, networking, and communications platforms. It operates its business through the following segments: Client Computing Group, Data Center Group, Internet of Things Group, Non-Volatile Memory Solutions Group, Intel Security Group, and Programmable Solutions.
Get interviewed today!
JobzMall is the world‘ s largest video talent marketplace.It‘s ultrafast, fun, and human.
Get Started