Formal verification expertise meets Intel’s hybrid Toronto team, where you will validate next-generation IP and SoC designs. Apply model checking and equivalence checking. As a Formal Verification Engineer, you will work with architects, RTL developers, and physical design teams. The position focuses on complex architectural and microarchitectural challenges. You will develop verification plans, create abstractions, and prove protocols using formal methodologies. Key Responsibilities:
Conduct formal verification for IP and SoC microarchitecture Develop test, coverage, and verification strategy plans Create abstractions and track design convergence Develop and review formal proofs Resolve failing tests through corrective measures Requirements:
Bachelor’s degree in electrical or computer engineering Six-plus years using formal verification tools Experience with SystemVerilog and test planning Knowledge of CPU architecture and cache coherence Knowledge of CXL coherence Bring formal verification, SystemVerilog, and architecture expertise to Intel’s Toronto IP and SoC validation work.
#J-18808-Ljbffr
Formal Verification Engineer Toronto employer: Intel Corporation
At Intel Corporation, we pride ourselves on being an exceptional employer that fosters a collaborative and innovative work culture. As a Remote Sales Application Engineer in Canada, you will benefit from flexible work arrangements, comprehensive professional development opportunities, and the chance to work with cutting-edge technology in the telecom and networking sector. Our commitment to employee growth and a supportive environment makes Intel a rewarding place to build your career.
