Principal Design Verification

2 weeks ago


Bengaluru, India Microsoft Full time
Overview

Microsoft is a highly innovative company that collaborates across disciplines to produce cutting edge technology that changes our world. Microsoft’s Silicon team builds custom silicon for a diverse set of systems ranging from innovative consumer products like Xbox to high-performance Azure cloud servers, clients, and augmented reality.We are looking for a

principal formal verification engineer

to work in the dynamic Microsoft Artificial Intelligence Silicon Engineering team (AISiE). The candidate must be a highly motivated self-starter who will thrive in this cutting-edge technical environment.Microsoft’s mission is to empower every person and every organization on the planet to achieve more. As employees we come together with a growth mindset, innovate to empower others, and collaborate to realize our shared goals. Each day we build on our values of respect, integrity, and accountability to create a culture of inclusion where everyone can thrive at work and beyond.

Qualifications

15 or more years of experience in design verification with 10+ 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 unitsStrong proficiency in scripting language such as Python or Perl with excellent debugging skillsPassionate about developing world-class/innovative formal verification solutions.Desirable:Experience using VC_Formal, SLEC toolsExperience of working on AI/ML SoCs or CPU coresTool development experience#SCHIEINDIAAbility 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

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.Build and manage formal verification team.Own and lead 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 across multiple IPs, 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.Coach and mentor others in formal verification areas of expertise.Demonstrate Microsoft core values: Customer Focus, Adaptability, Collaboration, Growth Mindset, Drive for Results, Influence for Impact, Judgement, and Diversity & InclusionBenefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.Industry leading healthcareEducational resourcesDiscounts on products and servicesSavings and investmentsMaternity and paternity leaveGenerous time awayGiving programsOpportunities to network and connect

  • Bengaluru, India Cadence Design Systems, Inc. Full time

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. BE/BTech/ME/MTech - Electrical / Electronics / VLSI with an experience as a design and verification engineer. 6+ years of Design Verification experience with SV/UVM Strong background on functional verification fundamentals, environment...


  • Bengaluru, India Mulya Technologies Full time

    Principal Design Verification EngineerBangalore / HyderabadWe are looking for an experienced digital verification engineer, who is capable of driving the required verification flows for our mixed-signal designs. The ability to work closely with rtl design team and the analog team, and to develop detailed verification flows, is a key feature of this...


  • Bengaluru, India Microsoft Full time

    Overview Microsoft is a highly innovative company that collaborates across disciplines to produce cutting edge technology that changes our world. Microsoft’s Silicon team builds custom silicon for a diverse set of systems ranging from innovative consumer products like Xbox to high-performance Azure cloud servers, clients, and augmented reality. We...


  • Bengaluru, India Mulya Technologies Full time

    Principal Digital Verification EngineerBangalore / HyderabadPrincipal Digital Verification EngineerEngineering – Digital Circuit Design /Full-Time /We are looking for an experienced digital verification engineer, who is capable of driving the required verification flows for our mixed-signal designs. The ability to work closely with rtl design team and the...


  • Bengaluru, India Aptiv Full time

    Principal/Sr StaffSemiconductor Design Verification Engineer We are Aptiv - a global technology company with 190,000 specialists in 46 countries. We develop innovative software and build the hardware to bring autonomous driving cars, advanced driver-assistance systems, connected vehicles and smart cities to life in a way that only we can. We work in...


  • Bengaluru, India Cadence Design Systems Full time

    Job Description: Roles & Responsibilities: Exp- 12 - 16 yrs The role requires the management of a SerDes DV group focusing on MDV verification including: Constrained Random Functional Verification, Formal Property Verification, project DV status and execution, and mentorship of junior engineers. The role requires the ability to work with the existing...


  • Greater Bengaluru Area, India Mulya Technologies Full time

    Principal Digital Verification EngineerBangalore / HyderabadPrincipal Digital Verification EngineerEngineering – Digital Circuit Design /Full-Time /We are looking for an experienced digital verification engineer, who is capable of driving the required verification flows for our mixed-signal designs. The ability to work closely with rtl design team and the...


  • Bengaluru, India Cadence Design Systems, Inc. Full time

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Job Title: Principal Solutions Engineer Location: Bangalore Cadence is a pivotal leader in electronic design, building upon more than 30 years of computational software expertise. The company applies its underlying Intelligent System...


  • Bengaluru, India Cadence Design Systems, Inc. Full time

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. BE/BTech/ME/MTech - Electrical / Electronics / VLSI with an experience as a design and verification engineer. 4+ years of Design Verification experience with SV/UVM Strong background on functional verification fundamentals, environment...


  • Bengaluru, India Cadence Design Systems, Inc. Full time

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Job Title: Principal Solutions Engineer Location: Bangalore Cadence is a pivotal leader in electronic design, building upon more than 30 years of computational software expertise. The company applies its underlying Intelligent System...

  • Principal Engineer

    2 months ago


    Bengaluru, India Micron Full time

    Our vision is to transform how the world uses information to enrich life for all. Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and advance faster than ever. JR48611 Principal Engineer - ASIC Verification ...


  • Bengaluru, India Cadence Design Systems, Inc. Full time

    At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology. Bachelors in Engineering with 8+ years of experience or Master’s with 6+ years of experience. Work with analog design team to develop behavioral models for analog blocks using Verilog AMS (Wreal) or SV-RNM constructs. Wok with design...


  • Bengaluru, India Renesas Electronics Full time

    Job Description Job Purpose and Dimensions: The purpose of this job is to help guarantee specification compliancy of the digital design by means of verification methodology and concepts. It supports the definition and enhancement of state-of-the art methodologies serving as clear verification sign-off criteria for tape out. Principal Accountabilities:...


  • Bengaluru, India Cadence Design Systems Full time

    Bachelors in Engineering with 8+ years of experience or Master’s with 6+ years of experience.Work with analog design team to develop behavioral models for analog blocks using Verilog AMS (Wreal) or SV-RNM constructs. Wok with design verification team in model usage and debugging failures related to models.Ensure created model has all major schematic...


  • Bengaluru, India Cadence Design Systems Full time

    Job Description:Roles & Responsibilities:Exp- 12 - 16 yrsThe role requires the management of a SerDes DV group focusing on MDV verification including: Constrained Random Functional Verification, Formal Property Verification, project DV status and execution, and mentorship of junior engineers.The role requires the ability to work with the existing functional...


  • Bengaluru, India Renesas Electronics Full time

    Job DescriptionJob Purpose and Dimensions:The purpose of this job is to help guarantee specification compliancy of the digital design by means of verification methodology and concepts. It supports the definition and enhancement of state-of-the art methodologies serving as clear verification sign-off criteria for tape out.Principal Accountabilities:Support a...


  • Bengaluru, India L&T Semiconductor Technologies Full time

    Role - Sr. Principal Verification EngineerStream - Customer Focused Product Development for Mobility, Industrial, Energy & TelecomReporting To - Chief Development Officer / Global Head of EngineeringLocation -BengaluruCOMPANY DESCRIPTIONL&T Semiconductor Technologies (LTSCT), a fully owned subsidiary of L&T, is the first major Indian Semiconductor product...


  • Bengaluru, India Cadence Design Systems Full time

    Job Description:Roles & Responsibilities:Exp- 12 - 16 yrs- The role requires the management of a SerDes DV group focusing on MDV verification including: Constrained Random Functional Verification, Formal Property Verification, project DV status and execution, and mentorship of junior engineers.- The role requires the ability to work with the existing...


  • Bengaluru, India Analog Devices Full time

    SOC Verification lead for complex digital SOCs – End to End SOC verification responsibility. Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies. Define tasks for team members, coordinate team effort, track, guide, mentor and technical support to team. Work with design and...


  • Bengaluru, India Cadence Design Systems Full time

    Job Description:Roles & Responsibilities:Exp- 12 - 16 yrs The role requires the management of a SerDes DV group focusing on MDV verification including: Constrained Random Functional Verification, Formal Property Verification, project DV status and execution, and mentorship of junior engineers.The role requires the ability to work with the existing functional...