Formal Verification Engineer
- Hiring Organisation
- IC Resources
- Location
- Slough, Berkshire, UK
- Employment Type
- Full-time
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 bus or interconnect protocols Clear communicator with a structured, analytical and cooperative working ...