It's mostly technical. They asked me to design some formal test bench for hardware modules such as FIFOs, arbiters, and caches.
They will ask in detail and let me write down the exact SVA assertions.
How to formally verify a cache.
The following metrics were computed from 1 interview experience for the Qualcomm Formal Verification Engineer role in San Diego, California.
Qualcomm's interview process for their Formal Verification Engineer roles in San Diego, California is extremely selective, failing the vast majority of engineers.
Candidates reported having very good feelings for Qualcomm's Formal Verification Engineer interview process in San Diego, California.