Microsoft Principal Formal Verification Manager 

India, Karnataka, Bengaluru 

905237048

cutting edge

formalverification engineertechnical environment.

• 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

• in usingIndustry standardEDA formal toolsfor property verification and logic equivalency checks

• Strong understanding of digital design principles,Datapatharchitecture, and arithmetic units

• proficiencyin scripting language such as Python or Perlwith excellent debugging skills

• world-class/innovative formal verification solutions

• Experience usingVC_Formal, SLEC tools

• Experience of working on AI/ML SoCs or CPU cores

• Tool development experience

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

• Build andmanageformal verification

• Own andleadformalverification of complexmodulesat theIP/Subsystem/SOClevelusing latest techniquestoincrease the RTL design quality

• the architecture and designteamstodefine formal verification scope

• rightstrategy to prove RTL correctnessby deploying advance formal techniques and create abstraction models for convergence

• formalverification testplanacross multiple IPs, track and verifyrespectivetest plan

• new 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