Current jobs related to CPU Formal Verification - Bengaluru - Qualcomm

  • Cpu Dv Formal Verification

    7 months ago

    Bengaluru, Karnataka, India Qualcomm Full time

    **Company**: Qualcomm India Private Limited **Job Area**: Engineering Group, Engineering Group > Hardware Engineering **General Summary**: - Roles and Responsibilities: - Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to...

  • Cpu Verification

    7 months ago

    Bengaluru, India Client of Newsoft Consultants Full time

    **Senior CPU Verification Engineer** Role: - Be responsible for the delivery of all verification activities related to a CPU component or sub-system from early stages of verification planning to sign-off - Create verification plans, develop and maintain testbench components, - Track and report verification metrics and closure - Participate in all stages of...

  • CPU Verification Engineer: Driving High-Quality CPU Designs

    3 weeks ago

    Bengaluru, Karnataka, India MIPS Full time

    We are seeking an experienced Verification Engineer to join our team at MIPS. This position involves extensive hands-on experience with CPU verification using industry-standard functional verification methodologies, formal verification, and constrained random generators, as well as reference model-based checkers.The ideal candidate must be able to take...

  • Silicon Formal Verification

    8 months ago

    Bengaluru, Karnataka, India Rivos Full time

    Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design. **Responsibilities**: - As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator...

  • Formal Verification

    6 months ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc. Full time

    Back **Formal Verification (3+ years)**: - Bangalore, India - Engineering - 29054 mail_outline Get future jobs matching this search *** **Job Description**: **WHAT YOU DO AT AMD CHANGES EVERYTHING** We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products...

  • Silicon Logic Formal Verification

    8 months ago

    Bengaluru, Karnataka, India Rivos Full time

    Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design **Responsibilities**: - As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator...

  • Cpu Design Verification

    8 months ago

    Bengaluru, Karnataka, India Rivos Full time

    Full-time opportunities are available in the areas of design verification for cutting-edge high performance RISC-V CPU from unit level to top level, as well as, all aspects of verification such as functional, microarchitecture, performance, and formal. We are looking for all levels of talent, from entrance to advanced level of...

  • CPU Verification Lead

    2 weeks ago

    Bengaluru, Karnataka, India Tenstorrent Full time

    Job SummarySolid experience in functional verification of high-performance CPUs is essential for this role. Our RISC-V CPU will be integrated into industry-leading AI/ML architecture. As a CPU Verification Manager at Tenstorrent, you will play a crucial part in ensuring the reliability and functionality of our CPU designs.Main ResponsibilitiesLeading a team...

  • Verification Expert for CPU Design

    1 month ago

    Bengaluru, Karnataka, India MIPS Full time

    **Job Overview**We are seeking an experienced Verification Engineer or Senior Verification Engineer to join our team at MIPS. This position involves extensive hands-on experience with CPU verification using industry-standard functional verification methodologies, formal verification and constrained random generators, and reference model-based checkers.The...

  • Cpu Design

    18 hours ago

    Bengaluru, India Client of Newsoft Consultants Full time

    **Senior CPU Design Engineer** **Profile-** - Be responsible for the investigation, specification, implementation and final delivery of our CPU micro-architecture components - Participate in the feasibility investigation of proposed micro-architectures - Perform deep analysis in order to produce solutions that meet the required frequency, power, area and...

  • CPU Design and Verification Expert

    2 months ago

    Bengaluru, Karnataka, India ACL Digital Full time

    Achieving Excellence in CPU Design and VerificationWe are seeking a talented CPU Design and Verification Engineer to join our team at ACL Digital.ResponsibilitiesDesignCollaborate with architects and design engineers to design CPU subsystems.Contribute to micro-architectural decisions, considering performance, power, and area trade-offs.Develop detailed...

  • CPU Verification Expert for RISC-V and ARM

    4 weeks ago

    Bengaluru, Karnataka, India Semi leaf Full time

    Job Title: CPU Verification Expert for RISC-V and ARMAbout Semi Leaf Consulting Service:We are a team of experts in Semiconductor, VLSI, EDA & Embedded domains, offering specialized skills to help our clients achieve their goals.Role Description:This is a full-time opportunity for a Microarchitecture Verification Engineer with experience in high-performance...

  • Cpu Design

    7 months ago

    Bengaluru, India Client of Newsoft Consultants Full time

    **Senior CPU Design Engineer** **Profile-** - Be responsible for the investigation, specification, implementation and final delivery of our CPU micro-architecture components - Participate in the feasibility investigation of proposed micro-architectures - Perform deep analysis in order to produce solutions that meet the required frequency, power, area and...

  • CPU Subsystem Verification Expert

    3 weeks ago

    Bengaluru, Karnataka, India GAMIFi Consulting Services (P) Ltd Full time

    CPU Subsystem Verification RoleGAMIFi Consulting Services (P) Ltd is seeking a highly skilled CPU Subsystem Verification Expert to join our team in Bangalore, India. The ideal candidate will have a strong background in CPU verification and be proficient in working with ARM-based systems.Key Responsibilities:Conduct thorough CPU subsystem verification using...

  • Smts - Formal Verification

    6 months ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc. Full time

    Back **SMTS - Formal Verification**: - Bangalore, India - Engineering - 36482 mail_outline Get future jobs matching this search *** **Job Description**: **WHAT YOU DO AT AMD CHANGES EVERYTHING** - We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that...

  • Formal Verification Applications Engineer

    4 weeks ago

    Bengaluru, Karnataka, India Synopsys Inc Full time

    Job DescriptionThe Formal Verification Team at Synopsys Inc is seeking an experienced engineer to join our team.About UsSynopsys EDA Group is a leading provider of electronic design automation (EDA) software and solutions. Our Formal Verification Team works with top-tier customers to deploy high-quality Formal Verification Solutions and Flows on the cutting...

  • CPU subsystem Design and Verification

    5 months ago

    Bengaluru, India ACL Digital Full time

    Talented and motivated Mid-Level CPU Subsystem Design and Verification Engineer to join our growing team. Responsibilities : Design : Participate in the design of CPU subsystems, collaborating with architects and design engineers. Contribute to micro-architectural decisions, considering performance, power, and area trade-offs. Develop detailed design...

  • CPU subsystem Design and Verification

    5 months ago

    Bengaluru, India ACL Digital Full time

    Talented and motivated Mid-Level CPU Subsystem Design and Verification Engineer to join our growing team. Responsibilities: Design:Participate in the design of CPU subsystems, collaborating with architects and design engineers.Contribute to micro-architectural decisions, considering performance, power, and area trade-offs.Develop detailed design documents...

  • CPU Core Feature Verification and Debug Engineer

    2 months ago

    Bengaluru, India Tenstorrent Full time

    Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. With AI redefining the computing paradigm, solutions must evolve to unify innovations in software models, compilers, platforms, networking, and semiconductors. Our diverse team of technologists have developed a high...

  • Tenstorrent - Senior CPU Verification Manager

    2 months ago

    Bengaluru, India Tenstorrent Full time

    The Tenstorrent team combines technologists from different disciplines who come together with a shared passion for AI and a deep desire to build great products. We value collaboration, curiosity, and a commitment to solving hard problems.Find out more about our culture :Senior CPU Verification Manager - AI Silicon Design :- We are seeking solid experience in...

CPU Formal Verification

1 month ago

Bengaluru, India Qualcomm Full time


Company:

Qualcomm India Private Limited

Job Area:

Engineering Group, Engineering Group > Hardware Engineering

General Summary:

Are you interested in working with a world-class CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the development of the next generation of formal methodologies in this space? The  NUVIA-Qualcomm  CPU team has some of the best CPU architects and engineers on the planet, developing the processors that will power the future. Come and join us on this exciting adventure. Sharpen your formal verification skills to their fullest on some of the complex designs ever attempted.

·Roles and Responsibilities:

·Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to micro-architecture

·Define formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU components

·Engage in full-spectrum deployment of model-checking technology to hardware designs including property verification, math proofs, architectural modeling and validation amongst other cutting-edge application areas

·To be successful in this position you will need:

·BA/BS degree in CS/EE with 8+ years of practical experience in application of formal methods in hardware or software

·Strong model checking or theorem proving background/experience in verification of complex systems

·Experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods

·Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL

·The ideal candidate will have the following experience:

·MS/PhD degree in CS/EE; 4+ years of practical experience

·Strong foundation in formal methods and in their application to hardware specifications and/or implementations

·Domain knowledge in one or more of these areas: Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures

·Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.)

Minimum Qualifications:

• Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 4+ years of Hardware Engineering or related work experience.
OR
Master's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience.
OR
PhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience.

Applicants : Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail or call Qualcomm's toll-free number found . Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).

Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.

To all Staffing and Recruiting Agencies :Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.