Principal Design Verification

3 weeks ago


noida, 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 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

#SCHIEINDIA

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

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 & Inclusion Benefits/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

  • Noida, 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. This position is in HSV (Hardware System Verification) group in the SVG (System Verification Group) of Cadence. The team is working on Protium - FPGA based prototyping platforms. Team is responsible for developing FPGA IPs for Protium...


  • noida, 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. This position is in HSV (Hardware System Verification) group in the SVG (System Verification Group) of Cadence. The team is working on Protium - FPGA based prototyping platforms. Team is responsible for developing FPGA IPs for Protium...


  • Noida, India Cadence Design Systems Full time

    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 Design strategy to deliver software, hardware and IP that turn design concepts into reality. Cadence customers are the world’s most innovative companies, delivering extraordinary...


  • Noida, India Cadence Design Systems Full time

    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 Design strategy to deliver software, hardware and IP that turn design concepts into reality. Cadence customers are the world’s most innovative companies, delivering extraordinary...


  • noida, 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. ...


  • Noida, India Cadence Design Systems Full time

    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 Design strategy to deliver software, hardware and IP that turn design concepts into reality. Cadence customers are the world’s most innovative companies, delivering extraordinary...


  • Noida, India Cadence Design Systems Full time

    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 Design strategy to deliver software, hardware and IP that turn design concepts into reality. Cadence customers are the world’s most innovative companies, delivering extraordinary...


  • Noida, India Cadence Design Systems Full time

    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 Design strategy to deliver software, hardware and IP that turn design concepts into reality. Cadence customers are the world’s most innovative companies, delivering extraordinary...


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

    Description Document Job Title: Returnship – GCS Special Internship (Returnship) of 6-months for Women candidates with prior experience and a minimum of 2-year gap/break for Application Engineer Role at Global Customer Success Team of Cadence Design Systems Location: Noida/Bangalore Cadence is a pivotal leader in electronic design, building...


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

    Description Document Job Title: Returnship – GCS Special Internship (Returnship) of 6-months for Women candidates with prior experience and a minimum of 2-year gap/break for Application Engineer Role at Global Customer Success Team of Cadence Design Systems Location: Noida/Bangalore Cadence is a pivotal leader in electronic design,...


  • Noida, India Renesas Electronics Full time

    Job Description [ LOCATION : NOIDA ] / Sr Principal Engineer = Equivalent to a Director level role Responsibilities project scheduling, execution, and setting high-level technical vision. Projects span a variety of business lines, and designs will need to meet a wide range of power/performance/area goals, depending on the product. Engagement and...


  • noida, India Renesas Electronics Full time

    Job Description ( LOCATION : NOIDA ) / Sr Principal Engineer = Equivalent to a Director level role Responsibilities project scheduling, execution, and setting high-level technical vision. Projects span a variety of business lines, and designs will need to meet a wide range of power/performance/area goals, depending on the product. Engagement and...


  • Noida, India Cadence Design Systems Full time

    1. Proficient in Verilog coding and RTL design, data path designs,2. Knowledge of RTL checks ex- LINT, SDC, CDC3. Familiar with synthesis flow and timing constraints4. Experience in writing Verilog testbench and running simulations. 5. Desired Protocols knowledge – USB, PCIe, MIPI(DPHY), HDMI/DisplayNature of work:The Candidate will be responsible for the...


  • Noida, India Cadence Design Systems Full time

    1. Proficient in Verilog coding and RTL design, data path designs,2. Knowledge of RTL checks ex- LINT, SDC, CDC3. Familiar with synthesis flow and timing constraints4. Experience in writing Verilog testbench and running simulations. 5. Desired Protocols knowledge – USB, PCIe, MIPI(DPHY), HDMI/DisplayNature of work:The Candidate will be responsible for the...


  • Noida, India Cadence Design Systems Full time

    1. Proficient in Verilog coding and RTL design, data path designs, 2. Knowledge of RTL checks ex- LINT, SDC, CDC 3. Familiar with synthesis flow and timing constraints 4. Experience in writing Verilog testbench and running simulations. 5. Desired Protocols knowledge – USB, PCIe, MIPI(DPHY), HDMI/Display Nature of work: The Candidate will be responsible...


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

    Description Independently handle verification of complex modules or own significant piece in subsystem / SOC based verification. Define methodology for subsystem/SOC verification. Mentor less experienced engineers to bring them up as independent verification engineer. Follow systematic approach of metric driven verification with meticulous...


  • noida, 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 Product Specialist Location: Noida / Bangalore Cadence is a pivotal leader in electronic design, building upon more than 30 years of computational software expertise. The company applies its underlying...


  • noida, 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. The person should be an Electrical, Electronics or Computer Science Engineer with very good understanding of HDLs (Verilog and/ or VHDL).  Prior experience in simulation/emulation using these languages. He/ she should have a good...


  • noida, India Tessolve Full time

    Job Summary Position: Design Verification- Design Engineer 1 Experience: 1+  years relevant experience. Location -  Bangalore/Hyderabad/Chennai/Noida Education: B.Tech/M.Tech To be successful in this role you will: Seeking highly motivated, energetic, team-oriented Individual contributors willing to take the...


  • Noida, 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. The person should be an Electrical, Electronics or Computer Science Engineer with very good understanding of HDLs (Verilog and/ or VHDL).  Prior experience in simulation/emulation using these languages. He/ she should have a good working...