Responsibilities:
Understand high-level specifications and detailed requirements for application processor design logical units.
Collaborate with cross functional teams such as architecture, design, and software teams on formal verification planning.
Formal Verification expert to lead all formal activities for a new RISC-V application processor.
Required Skills and Experience :
BSc. in Electrical and/or Computer Engineering
At least 6 years of experience with RTL ASIC verification, specializing in Formal verification.
Knowledge and experience in one of the following: CPU, RISC-V architecture, micro-controllers, memory and cache controllers is an advantage.
Experience with Verilog, System Verilog, SVA.
Able to express complex concepts in fluent technical English.