Formal Verification Engineer
- Hiring Organisation
- IC Resources
- Location
- Slough, Berkshire, UK
- Employment Type
- Full-time
Knowledge Strong background in formal verification for ASIC or FPGA development Proficiency with assertion-based techniques (e.g., SVA, PSL) Experience using formal verification tools (Cadence ecosystem advantageous but not essential) Scripting skills for automation (Python, TCL, Perl or similar) Understanding of digital design, CPU/ISA concepts and common ...