FORMAL VERIFICATION ENGINEER | CONTRACT | OXFORDSHIRE
4-6 months · Three days onsite per week
I'm looking for a hands-on Formal Verification Engineer to join an established semiconductor team in Oxfordshire. You'll own block-level formal verification, from translating design intent into properties through to debugging failures, closing proofs and documenting sign-off evidence.
You'll need hands-on experience with JasperGold or VC Formal, SystemVerilog Assertions and RTL debug. If you've used abstraction, decomposition or constraint refinement to get a difficult proof to converge, I'd like to hear how you did it.
Experience with sequential equivalence checking, PCIe, NVMe or storage-controller IP would be useful.
#FormalVerification #ASIC #Semiconductors #ContractJobs
Formal Verification Engineer employer: Elite People Partners Ltd
Elite People Partners Ltd is an exceptional employer, offering a dynamic hybrid working environment that fosters collaboration and innovation in the field of GPU and AI compute architecture. With a strong emphasis on employee growth, the company provides significant benefits such as a 30% performance-related bonus, pension, and private medical insurance, making it an attractive place for talented engineers to thrive and advance their careers.
