5or more years of experience in design verification with10+ yearsofproventrack recordinusing formal verification techniques oncomplex SoC IP’s(CPU, NeuralNetworks IPs, DMA, Security IP, Interconnects, power managementetc.). Formal method or formal verification...