Job Description
ConSol Partners are urgently seeking a Formal Verification Engineer for a leading manufacturer of semiconductor storage systems based in Oxfordshire!
Key Responsibilities:
* Develop and apply formal verification strategies for NVMe and PCIe-based memory storage designs.
* Build formal testbenches using industry-standard tools (e.g., JasperGold, OneSpin, etc.).
* Collaborate with RTL design, simulation, and validation teams to define verification scope and close coverage.
* Analyze specifications and develop assertions and properties to validate design behavior.
* Identify corner cases and verify design correctness under all conditions using formal techniques.
* Document formal verification plans, methodologies, and results.
Required Qualifications:
1. Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, or a related field.
2. 3+ years of experience in formal verification of hardware systems.
3. Strong hands-on experience with NVMe and PCIe protocols.
4. Proficiency in SystemVerilog assertions (SVA), and experience with formal tools (e.g., Cadence JasperGold, Synopsys VC Formal, Siemens OneSpin).
5. Solid understanding of digital design principles and RTL development.
6. Ability to work independently and as part of a cross-functional team....