Formal Verification Specialist

3 days ago

Bengaluru, Karnataka, India Intel Full time ₹ 20,00,000 - ₹ 25,00,000 per year
  • we are building a better tomorrow. Who We Are The Data Center and AI (DCAI) delivers leadership Xeon products to cloud, data center and AI customers through development of industry leading IPs that enhances product performance and competitiveness in both Xeon and AI platforms.
  • IP design group within DCAI designs Coherent Fabric IP, Memory controller, NOC, PCIE and many fundamental building blocks for the Xeon server SOCs. Who You Are Come join the winning team at FVCTO (Formal Verification Central Tech Office).
  • As a Formal Verification Engineer, you will be responsible the following but not limited to:
  • Verify microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs and SOCs for Server, Client and Graphics.
  • Use the hardware architecture design and RTL implementation details.
  • Define the Formal Verification scope, deploy the right strategy to prove correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design.
  • Carve out the right boundaries for the design, create comprehensive formal verification test plans, track, verify, apply abstraction techniques, and converge on complex designs to deliver a high-quality design on schedule and articulate the ROI.
  • Analyses new methodologies, evaluates new tools, and corroborates results. Work with vendors to resolve hard design and tool problems.
  • In addition to the qualifications, a successful candidate will demonstrate: Problem solving and debugging skills. Willingness to work closely with various design teams and cross site teams.
  • Verbal and written communication skills. Motivated, self- directed and can work effectively both independently and in a team environment.

*Qualifications:*

  • You must possess the minimum education requirements and minimum required qualifications to be initially considered for this position. Relevant experience can be obtained through schoolwork, classes, project work, internships, and/or military experience.
  • Additional preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates. Minimum Qualifications
  • The candidate must possess the following:
  • Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 9 years relevant experience or schoolwork OR Master's
  • Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with 6 years relevant experience or schoolwork OR PhD in Electrical Engineering, Computer Engineering, Computer Science or a related field with 4 years relevant experience or schoolwork Experience in the following: RTL languages like System Verilog or VHDL Assertion languages like SVA, formal verification.
  • Preferred Qualifications Experience with: The fundamentals of formal verification technology, including model checking and writing formal assertions to express architectural intent of designs Formal verification principles and methods Computer architecture, digital design and verification methods Research in formal verification domain

  • Senior Formal Verification Specialist

    7 days ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title:Senior Formal Verification SpecialistWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and...

  • Formal Verification Staff Engineer

    2 weeks ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 10,00,000 - ₹ 25,00,000 per year

    Formal Verification Staff Engineer - Formal Verification Engineer - ASIC Digital Design Engineer - RTL Verification Specialist We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design,...

  • Senior Staff- Formal Verification Specialist

    1 week ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title:Senior Staff- Formal Verification SpecialistWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon...

  • Formal Verification Engineer

    23 hours ago

    Bengaluru, Karnataka, India QFocus AI Pvt. Ltd. Full time ₹ 30,00,000 - ₹ 50,00,000 per year

    About the organizationQFocus AI Pvt. Ltd. (QFAI), a wholly owned subsidiary of QFocus Technologies LLC, is a consulting-led engineering services company with sharp focus on supporting next gen advanced products development across AI/ML, Compute, Communication, Storage and Consumer Electronics. Our mission is to help our customers deliver cutting-edge...

  • Formal Verification Engineer, Staff

    1 week ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title:Staff/Senior Formal Verification SpecialistWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon...

  • Formal Verification Engineer

    19 hours ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title:Formal Verification EngineerWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software...

  • Formal Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    We Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the...

  • Formal Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    WHAT YOU DO AT AMD CHANGES EVERYTHINGAt AMD, our mission is to build great products that accelerate next-generation computing experiences – from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...

  • Formal Verification Engineer, Sr. Staff

    1 week ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title: Sr. Staff/ Staff Formal Verification SpecialistWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance...

  • Formal Verification Engineering Manager

    13 hours ago

    Bengaluru, Karnataka, India Intel Full time ₹ 15,00,000 - ₹ 30,00,000 per year

    Job Details: Job Description: Directs and manages a team of formal verification engineers responsible for IP and SoC design verification.Deploys and manages leading formal verification processes, procedures, verification tools, and technologies based on latest model and algorithms.Possesses subject matter expertise in formal verification principles,...