If you’d like to work with formal verification tools (e.g., JasperGold) this role is for you! Knowledge of RTL, Verilog, RISC-V architecture will help you make the most of our training to become a Formal Verification Engineer