Cpu Dv Formal Verification

5 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 micro-architecture
- Define formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU components
- To be successful in this position you will need:

- 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
- MS/PhD degree in CS/EE; 4+ years of practical experience
- 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.

Qualcomm is an equal opportunity employer and supports workforce diversity.

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.

If you would like more information about this role, please contact Qualcomm Careers.



  • Bengaluru, Karnataka, India MediaTek Full time

    Job Description:MediaTek is seeking a highly skilled CPU Verification Engineer to join our team. As a CPU Verification Engineer, you will be responsible for designing and developing testbenches, stimulus engines, and microarchitectural models to verify the correctness of CPU features.Key Responsibilities:Work with CPU architects to understand processor...


  • Bengaluru, Karnataka, India MediaTek Full time

    Job Title: CPU Verification SpecialistMediaTek is seeking a highly skilled CPU Verification Specialist to join our team. As a key member of our verification team, you will be responsible for designing and developing testbenches, stimulus engines, and microarchitectural models to verify the correctness of CPU microarchitecture features.Key...


  • Bengaluru, Karnataka, India MediaTek Full time

    Job Description:MediaTek is seeking a highly skilled CPU Verification Engineer to join our team.Key Qualifications:Master's degree in Electrical Engineering, Computer Science, or related field with 5-12 years of relevant industry experience.Strong understanding of CPU architecture and verification methodologies.Experience with C, C++, Verilog, and scripting...

  • CPU Verification

    2 months ago


    Bengaluru, India MediaTek Full time

    Job Description:Key QualificationsPreferably BE/B.Tech/ME/M.Tech in EEE/ECE/CSE with 5-12 years of relevant industry experience.Should have experience in verification methodology.Architecting and development of testbench, test-bench components for ISA features, clock/reset/power features of processor.Strong assembly and CPU (x86/ARM/RISC-V) architecture...

  • CPU Verification

    2 months ago


    Bengaluru, India MediaTek Full time

    Job Description: Key Qualifications Preferably BE/B.Tech/ME/M.Tech in EEE/ECE/CSE with 5-12 years of relevant industry experience. Should have experience in verification methodology. Architecting and development of testbench, test-bench components for ISA features, clock/reset/power features of processor. Strong assembly and CPU (x86/ARM/RISC-V)...


  • Bengaluru, Karnataka, India Tenstorrent Full time

    Job Title: Shared Cache Verification EngineerAt Tenstorrent, we're seeking a highly skilled Shared Cache Verification Engineer to join our team. As a key member of our verification team, you will be responsible for ensuring the high-quality delivery of our L2/Shared Cache block.Responsibilities:Develop and execute detailed verification plans for the...

  • Cpu Verification

    5 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...


  • Bengaluru, Karnataka, India Tenstorrent Full time

    Job Title: Shared Cache / L2 Verification EngineerAt Tenstorrent, we're passionate about building innovative AI products and solving complex problems. As a Shared Cache / L2 Verification Engineer, you'll play a crucial role in ensuring the quality and performance of our high-performance CPUs.Responsibilities:Develop and execute detailed verification plans...


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


  • Bengaluru, Karnataka, India Tenstorrent Full time

    Join Tenstorrent's Team as a Shared Cache EngineerTenstorrent is a team of technologists passionate about AI and building great products. We value collaboration, curiosity, and solving hard problems.Shared Cache EngineerWe are seeking an experienced engineer to work on the L2/Shared Cache unit for a high-performance CPU. The ideal candidate will have a...


  • Bengaluru, Karnataka, India Tenstorrent Full time

    Unlock the Power of AI with TenstorrentWe're a team of technologists passionate about building great products and solving hard problems. Our culture values collaboration, curiosity, and a commitment to excellence.Shared Cache / L2 Verification EngineerJoin us in developing a server class L2/Shared Cache unit for a high-performance CPU. As a key member of our...


  • Bengaluru, Karnataka, India Tenstorrent Full time

    Join Tenstorrent's Team as a Shared Cache EngineerTenstorrent is a team of technologists passionate about AI and building great products. We value collaboration, curiosity, and solving hard problems.Shared Cache Engineer Role:We are seeking an experienced engineer to work on the L2/Shared Cache unit for a high-performance CPU. The ideal candidate will work...


  • Bengaluru, India Qualcomm Full time

    Company: Qualcomm India Private Limited Job Area: Engineering Group, Engineering Group > Hardware Engineering General Summary: Qualcomm is hiring strong DV engineers to verify high performance and low power CPUs in Bangalore. Please forward your profiles if you meet the requirement. Roles and Responsibilities o Responsible for power...

  • Formal Verification

    4 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...


  • Bengaluru, India metavlsi Full time

    Minimum 2+ years of experience is requiredAdvanced knowledge of SoC/CPU/GPU/Cellular designs, VLSI, and digital logic design and verification techniquesDeveloped formal property proofs on industrial strength designs and architecturesDeep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution...


  • Bengaluru, India metavlsi Full time

    Minimum 2+ years of experience is requiredAdvanced knowledge of SoC/CPU/GPU/Cellular designs, VLSI, and digital logic design and verification techniquesDeveloped formal property proofs on industrial strength designs and architecturesDeep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution...


  • Bengaluru, India metavlsi Full time

    Minimum 2+ years of experience is required Advanced knowledge of SoC/CPU/GPU/Cellular designs, VLSI, and digital logic design and verification techniques Developed formal property proofs on industrial strength designs and architectures Deep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution...


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


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

  • Verification Engineer

    1 month ago


    Bengaluru, India Semi leaf Full time

    Job Description :We are hiring "CPU Verification Engineers" [CPU core / AI silicon / CPU subsystem / Shared chache]Location : BangaloreExperience : 3-15 years Availability : Immediate to 30 days joinersWork mode : WFO Company Description :Welcome to Semi Leaf consulting Service! Semi Leaf consulting firm is a team of experts that help to find candidates with...