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

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

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

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

  • Senior DV Engineer

    2 months ago

    Bengaluru, India L&T Technology Services Full time

    LTTS is hiring for Design Verification Engineers with 5+ Years of experience.Job Location : Bangalore, IndiaDetailed JD is as below ::Job Description DV Positions:Define and implement IP/SoC verification plans, build verification test benches to enable IP/sub-stem/SoC level verificationDevelop functional tests based on verification test planDrive Design...

  • Principal Verification Engineer for Semiconductors

    2 weeks ago

    Bengaluru, Karnataka, India Mirafra Technologies Full time

    At Mirafra Technologies, we're seeking a seasoned Sr. Design Verification Engineer to drive our semiconductor and VLSI endeavors forward.Estimated Salary: $150,000 - $200,000 per annum, commensurate with experience.**Company Overview:**Mirafra Technologies is a global leader in the semiconductor and VLSI domains, empowering innovation through cutting-edge...

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

  • Senior dv engineer

    2 months ago

    Bengaluru, India L&T Technology Services Full time

    LTTS is hiring for Design Verification Engineers with 5+ Years of experience.Job Location : Bangalore, IndiaDetailed JD is as below ::Job Description DV Positions:Define and implement IP/So C verification plans, build verification test benches to enable IP/sub-stem/So C level verificationDevelop functional tests based on verification test planDrive Design...

  • CPU Design Verification 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...

  • Senior DV Engineer

    2 months ago

    Bengaluru, India L&T Technology Services Full time

    LTTS is hiring for Design Verification Engineers with 5+ Years of experience. Job Location : Bangalore, IndiaDetailed JD is as below ::Job Description DV Positions: Define and implement IP/SoC verification plans, build verification test benches to enable IP/sub-stem/SoC level verification Develop functional tests based on verification test plan Drive Design...

  • Senior DV Engineer

    2 months ago

    Bengaluru, India L&T Technology Services Full time

    LTTS is hiring for Design Verification Engineers with 5+ Years of experience. Job Location : Bangalore, IndiaDetailed JD is as below ::Job Description DV Positions: Define and implement IP/SoC verification plans, build verification test benches to enable IP/sub-stem/SoC level verification Develop functional tests based on verification test plan Drive Design...

  • CPU Design Verification Engineer

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

  • CPU Core Regression Debug Engineer

    1 month 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.CPU verification engineer driving core level regression debug, triage and responsible for...

  • Cpu design verification engineer

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

  • Design verification engineer

    1 month ago

    Bengaluru, India Wipro Full time

    JD for Design Verification Engineer5 to 18 years of hands-on DV experience in System Verilog/UVM.Must be able to own and drive the verification of a block / subsystem or a SOC.Extensive experience in IP/sub-system and/or So C level verification based on SV/UVM.Experience in Tesplan and Testbench development,Execution of test plan using high quality...