Formal Verification Engineer
ACL DigitalBengaluru, Republic Of India, 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