Formal Verification Engineer - Professional Level
, co-define the verification strategy (scope, risks, approach), execute, and close. Produce maintainable SVA and a clean formal... delivering formal results on non‑trivial RTL (e.g., caches, pipelined processors, DMAs, NoCs). Strong SVA skills and hands...