Formal Verification Engineer
ACL DigitalBangalore, Bangalore (district); Bangalore (division); Karnataka, INResponsible for developing and executing formal verification strategies for IP and SoC blocks.Write and prove assertions using SystemVerilog Assertions (SVA) or PSL.Use tools like JasperGold, VC Fo... Show more