- 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 technologiesexperience and abstraction techniques.
- Knowledge and experience in interpreting hardwarelogic, familiarity withSV/Verilog/VHDLHDLsand using assertion-based languages like SVAor PSL.
- Experiencein usingIndustry standardEDA formal toolsfor property verification and logic equivalency checks.
- Strong understanding of digital design principles,Datapatharchitecture, and arithmetic units
- Strongproficiencyin scripting language such as Python or Perlwith excellent debugging skills
- Passionate about developingworld-class/innovative formal verification solutions.
- Experience usingVC_Formal, SLEC tools
- Experience of working on AI/ML SoCs or CPU cores
- Tool development experience
Ability to meet Microsoft, customer and/or government security screening requirements are required for this role. These requirements include, but are not limited to, the following specialized security screenings: Microsoft Cloud Background Check: This position will be required to pass the Microsoft Cloud background check upon hire/transfer and every two years thereafter.