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.

  • CPU Formal Verification

    6 days 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...

  • Silicon Formal Verification

    7 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 Expert

    4 weeks ago

    Bengaluru, Karnataka, India metavlsi Full time

    Job RequirementsWe are seeking a highly skilled Formal Verification Engineer to join our team at metavlsi. The ideal candidate will have a strong background in formal verification techniques and a deep understanding of digital logic design and verification.Key Responsibilities:Minimum 2+ years of experience in formal verification is required.Advanced...

  • Formal verification Engineer

    3 weeks ago

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

  • Formal verification engineer

    3 weeks ago

    Bengaluru, India Metavlsi Full time

    Minimum 2+ years of experience is requiredAdvanced knowledge of So C/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...

  • Formal Verification

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

  • CPU Design Verification

    4 weeks ago

    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 Engineer

    1 month ago

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

  • Formal verification Engineer

    1 month ago

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

  • Formal verification Engineer

    1 month ago

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

  • Cpu core feature verification and debug engineer

    2 weeks 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...

  • CPU Core Feature Verification and Debug Engineer

    2 weeks 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...

  • CPU Design Verification

    7 days ago

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

  • Silicon Logic Formal Verification

    7 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

    7 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 Core Feature Verification and Debug Engineer

    2 weeks 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...

  • High Performance CPU L2 Cache Verification Expert

    4 weeks ago

    Bengaluru, Karnataka, India Tenstorrent Full time

    About the RoleWe are seeking an experienced engineer to work on the verification of high-performance CPUs, specifically focused on the L2 cache unit. As a key member of our team, you will be responsible for the functional and performance verification of the L2 cache unit, working closely with the architecture and RTL teams.Responsibilities- Verify the...

  • Verification Engineer

    2 months 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...

  • CPU Design Verification

    2 months ago

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

  • CPU Design Verification

    3 weeks ago

    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 & Noida. Please forward your profiles if you meet the requirement. Roles and Responsibilities o Responsible for power...