Senior Formal Verification Engineer - AI SoC Development

Job Details: Job Description: Intel’s AI SoC organization is driving innovation in next-generation ASICs for AI applications across edge and cloud. As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional correctness of complex digital designs using advanced formal methods. This position offers the opportunity to work on cutting-edge technology and shape verification strategies for AI SoCs. Key Responsibilities Own formal verification strategy and execution for complex SoC IP blocks and subsystems. Develop and maintain formal verification environments using SystemVerilog Assertions (SVA) and industry-standard formal tools. Write and review formal properties, constraints, and coverage goals to achieve exhaustive verification. Collaborate with design and simulation teams to identify corner cases and complement dynamic verification. Drive formal sign-off, including convergence analysis and coverage closure. Contribute to pre-silicon verification, ...