Formal Verification Engineer Jobs

Updated: May 16, 2024 11:47 AM GMT

Intel

Hindaun, Rajasthan (+47 others)

Position Overview:

As a Datapath Formal Verification Engineer within the DEG, you will play a crucial role in ensuring the correctness and reliability of complex digital circuits within integrated circuits (ICs). Leveraging formal verification techniques, you will mathematically prove the functionality of datapath designs without relying solely on simulation-based testing. This role requires a strong understanding of digital design principles, formal verification methodologies, and industry-standard tools.

Key Responsibilities:
• Formal Verification Scope Definition:
• Utilize hardware architecture design and RTL implementation details to define the scope of formal verification.
• Deploy appropriate strategies and advanced formal techniques to prove the correctness of designs.
• Test Plan Development:
• Create comprehensive formal verification test plans, ensuring coverage of all relevant aspects of datapath designs.
• Track and verify test results, applying abstraction techniques... More Detail