Cpu Dv Formal Verification

3 weeks 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, India ARM Full time

    Job Description:In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle.ARM’s CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods. We are offering the chance to become part of a...


  • Bengaluru, India Wipro Full time

    Title: IP/SOC Verification EngineerDuration: Full TimeLocation: BengaluruExperience: 4Description :1.Experience in Verification of IP2.Experience in UVM/SV based verification methodology is must3.Candidates with CPU-Core, Peripherals, Low Power Verification or Modem domain, debug skills, DV Integration are preferred.4.Preferably with exposure to Power...


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


  • Bengaluru, India Microsoft Full time

    OverviewMicrosoft is a highly innovative company that collaborates across disciplines to produce cutting edge technology that changes our world. Microsoft’s Silicon team builds custom silicon for a diverse set of systems ranging from innovative consumer products like Xbox to high-performance Azure cloud servers, clients, and augmented reality.We are...


  • Bengaluru, India Wipro Full time

    Job Title: IP Verification Engineer Duration: Full Time Location: Bengaluru, India Experience: 4+ yrs to any Job Description: 1.Experience in Verification of IP/SOC 2.Experience in UVM/SV based verification methodology is must 3.Candidates with CPU-Core, Peripherals, Low Power Verification or Modem domain, debug skills, Integration DV are preferred....


  • Bengaluru, India Wipro Full time

    Job Title: IP Verification EngineerDuration: Full TimeLocation: Bengaluru, IndiaExperience: 4+ yrs to anyJob Description:1.Experience in Verification of IP/SOC2.Experience in UVM/SV based verification methodology is must3.Candidates with CPU-Core, Peripherals, Low Power Verification or Modem domain, debug skills, Integration DV are preferred.4.Preferably...


  • Bengaluru, India Wipro Full time

    Job Title: IP Verification EngineerDuration: Full TimeLocation: Bengaluru, IndiaExperience: 4+ yrs to anyJob Description:1.Experience in Verification of IP/SOC2.Experience in UVM/SV based verification methodology is must3.Candidates with CPU-Core, Peripherals, Low Power Verification or Modem domain, debug skills, Integration DV are preferred.4.Preferably...


  • Bengaluru, India Wipro Full time

    Title: IP/SOC Verification EngineerDuration: Full TimeLocation: Bengaluru Experience: 4Description:1.Experience in Verification of IP2.Experience in UVM/SV based verification methodology is must3.Candidates with CPU-Core, Peripherals, Low Power Verification or Modem domain, debug skills, DV Integration are preferred.4.Preferably with exposure to Power...


  • Bengaluru, India Wipro Full time

    Title: IP/SOC Verification EngineerDuration: Full TimeLocation: Bengaluru Experience: 4Description:1.Experience in Verification of IP2.Experience in UVM/SV based verification methodology is must3.Candidates with CPU-Core, Peripherals, Low Power Verification or Modem domain, debug skills, DV Integration are preferred.4.Preferably with exposure to Power...


  • Bengaluru, India Analog Devices Full time

    Digital Design Verification EngineerJob Responsibilities:Verification of complex designs such as accelerators/ datapath IP, processor core subsystems, complex interfaces/ protocols such as DDR/ Ethernet/ USBetc using leading edge methodologies likeUVM&Formal DVArchitect the testbench and develop the verification environmentin UVM and Formal based...


  • Bengaluru, India Analog Devices Full time

    Job Responsibilities:Verification of complex designs such as accelerators/ datapath IP, processor core subsystems, complex interfaces/ protocols such as DDR/ Ethernet/ USBetc using leading edge methodologies likeUVM&Formal DVArchitect the testbench and develop the verification environmentin UVM and Formal based verification approachesDefine testplan, tests...


  • Bengaluru, India Analog Devices Full time

    Digital Design Verification Engineer Job Responsibilities: Verification of complex designs such as accelerators/ datapath IP, processor core subsystems, complex interfaces/ protocols such as DDR/ Ethernet/ USB etc using leading edge methodologies like UVM & Formal DV Architect the testbench and develop the verification environment in UVM...


  • Bengaluru, India Analog Devices Full time

    Job Responsibilities: Verification of complex designs such as accelerators/ datapath IP, processor core subsystems, complex interfaces/ protocols such as DDR/ Ethernet/ USB etc using leading edge methodologies like UVM & Formal DV Architect the testbench and develop the verification environment in UVM and Formal based verification approaches ...


  • Bengaluru, India Mulya Technologies Full time

    CPU Verification EngineerLocation; BangaloreEngineering, Bengaluru, IndiaCPU Verification EngineerBangaloreEngineering /Full Time /This position involves extensive hands-on experience with CPU verification using industry standard functional verification methodologies and reference model-based checkers. The candidate must be able to quickly understand design...


  • Bengaluru, India Mulya Technologies Full time

    Senior CPU Architecture Verification EngineerLocation; BangaloreEngineering, Bengaluru, IndiaSenior CPU Architecture Verification EngineerBangaloreEngineering /Full Time /On-SiteThis position involves extensive hands-on experience with CPU verification using industry standard functional verification methodologies, formal verification and constrained random...


  • Bengaluru, India Rakiya Information Technology Solutions Full time

    Hello Everyone!!#URGENTHIRING#formalverificationWe're looking for Formal Verification Engineer with 0.6month to 1 year experience.JD : Formal Verification profile : LEC, LINT, Spyglass, CDC, PLC)

  • Shared Cache

    4 weeks 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.Shared Cache / L2 Verification Engineer:Experienced engineer focused on L2/Shared Cache...


  • Bengaluru, India Rakiya Information Technology Solutions Full time

    Hello Everyone!!#URGENTHIRING#formalverification We're looking for Formal Verification Engineer with 0.6month to 1 year experience.JD : Formal Verification profile : LEC, LINT, Spyglass, CDC, PLC]


  • Bengaluru, India NVIDIA Full time

    We are looking to hire strong verification engineers with a sharp understanding of CPU and interconnect architectures and workloads. NVIDIA makes some of the most sophisticated chips in the world and is solving problems, with its vast arsenal of CPUs, GPUs, and SW, in areas such as HPC, Automated driving, Medical imaging, and much more! We are seeking highly...


  • Bengaluru, India Aforce solutions Full time

    **Role: Design Verification-DV** **Location: Bangalore** - **Responsibilities**: - Preparation of digital design test plan from requirements using Cadence-vManager / vPlanner - Definition and creation of UVM-SV test environment, test plans, tests, and functional coverage - Verification of signal processing and control algorithms using Cadence and MathWorks...