ASIC Formal Verification Staff Engineer - Qualcomm, Hod Hasharon, Israel
Company:
Job Area:
Engineering Group, Engineering Group > Modem TechnologiesGeneral Summary:
We are looking for a Formal Verification expert specializing in RTL/ASIC verification to work on a new cutting-edge RISC‑V application processor. The role involves ownership of formal methodologies, verification strategy definition, and close collaboration with architecture and design teams to ensure full functional correctness of complex processor units.
An ideal candidate will have at least 8 years of work experience with various formal applications and tools.
This is a 5 days onsite position in Hod Hasharon
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 for...