... experience with formal verification tools (e.g., JasperGold, Questa Formal, OneSpin, Synopsys VC Formal). Proficiency in ... abilities. Experience with simulation-based verification (UVM, SystemVerilog). Familiarity with scripting ...
9 days ago