Expoint - all jobs in one place

המקום בו המומחים והחברות הטובות ביותר נפגשים

Limitless High-tech career opportunities - Expoint

Microsoft Principal Design Verification Formal Engineer 
India, Karnataka, Bengaluru 
716497169

16.07.2024

formalverification engineer


Qualifications
  • 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.

Responsibilities

are responsible for, custom IP and SoC designs that can perform complex and high-performance functions in an extremely efficient manner.

  • Build andmanageformal verificationteam.
  • Own andleadformalverification of complexmodulesat theIP/Subsystem/SOClevelusing latest techniquestoincrease the RTL design quality.
  • Collaborate withthe architecture and designteamstodefine formal verification scope.
  • Identifyrightstrategy to prove RTL correctnessby deploying advance formal techniques and create abstraction models for convergence.
  • Createformalverification testplanacross multiple IPs, track and verifyrespectivetest plan.
  • Innovatenew technologies, evaluate newtools,and corroborate results.
  • Debug RTL toidentifycauses of failure scenarios.
  • Work with vendors on resolving hard design and tool problems.
  • Articulate formal verification coverage of the design to partners.
  • Coach and mentor others informal verificationareas ofexpertise.
  • Demonstrate Microsoft core values: Customer Focus, Adaptability, Collaboration, Growth Mindset, Drive for Results, Influence for Impact, Judgement, and Diversity & Inclusion