Arithmetic Formal Verification Engineer

Job Details

We are looking for a highly skilled Arithmetic Formal Verification Engineer to join our silicon design team. This role focuses on the formal verification of complex arithmetic hardware blocks, including fixed-point and floating‑point datapaths. You will play a critical role in ensuring the mathematical correctness and corner‑case robustness of arithmetic‑intensive designs used in next‑generation compute architectures.

Key Responsibilities: Develop and execute formal verification strategies specifically targeting arithmetic logic units (ALUs), floating‑point units (FPUs), dividers, multipliers, and custom math blocks. Develop formal verification testbenches and properties for arithmetic hardware designs. Collaborate with RTL designers to understand microarchitectural details and identify verification targets. Write and debug formal arithmetic specifications. Use formal tools (e.g., JasperGold, VC Formal, OneSpin) to prove correctness or find corner‑ca...