Expoint - all jobs in one place

Finding the best job has never been easier

Limitless High-tech career opportunities - Expoint

Microsoft Senior Formal Verification Engineer 
India, Karnataka, Bengaluru 
361399692

03.09.2024

Qualifications
  • 7 or more years of experience in design verification with 4+ years of proven track record in using formal verification techniques on complex SoC IP’s (CPU, Neural Networks IPs, DMA, Security IP, Interconnects, power management etc.)
  • Formal method or formal verification technologies experience and abstraction techniques.
  • Knowledge and experience in interpreting hardware logic, familiarity with SV/Verilog/VHDL HDLs and using assertion-based languages like SVA or PSL.
  • Experience in using Industry standard EDA formal tools for property verification and logic equivalency checks.
  • Strong understanding of digital design principles, Datapath architecture, and arithmetic units
  • Strong proficiency in scripting language such as Python or Perl with excellent debugging skills
  • Passionate about developing world-class/innovative formal verification solutions.

Desirable:

  • Experience using VC_Formal, SLEC tools
  • Experience of working on AI/ML SoCs or CPU cores
  • Tool development experience
Responsibilities

The AISiE silicon team is seeking a passionate, driven, and intellectually curious computer/electrical engineer to deliver premium-quality designs once considered impossible. We are responsible for delivering cutting-edge, custom IP and SoC designs that can perform complex and high-performance functions in an extremely efficient manner.

  • Own formal verification of complex modules at the IP/Subsystem/SOC level using latest techniques to increase the RTL design quality.
  • Collaborate with the architecture and design teams to define formal verification scope.
  • Identify right strategy to prove RTL correctness by deploying advance formal techniques and create abstraction models for convergence.
  • Create formal verification test plan track and verify respective test plan.
  • Innovate new technologies, evaluate new tools, and corroborate results.
  • Debug RTL to identify causes of failure scenarios.
  • Work with vendors on resolving hard design and tool problems.
  • Articulate formal verification coverage of the design to partners.
  • Demonstrate Microsoft core values: Customer Focus, Adaptability, Collaboration, Growth Mindset, Drive for Results, Influence for Impact, Judgement, and Diversity & Inclusion