Cpu Dv Formal Verification

1 week 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 endtoend formalization of the refinement from architecture to microarchitecture
  • Define formal verification architecture, develop test plans and build endtoend formal signoff 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 theoremproving 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 microarchitecture, instruction set architecture, floatingpoint 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.
  • Formal Verification

    1 week ago


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

    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 accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our...


  • Bengaluru, Karnataka, India Mulya Technologies Full time

    Senior CPU Verification EngineerLocation; BangaloreEngineering, Bengaluru, IndiaThis 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 candidate must be able to take critical...


  • Bengaluru, Karnataka, 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, Karnataka, India MediaTek Full time

    Job DescriptionKey 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

    1 week ago


    Bengaluru, Karnataka, 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, Karnataka, 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, Karnataka, 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, Karnataka, 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, Karnataka, India NVIDIA Full time

    NVIDIA is seeking an elite Formal Verification Engineer to verify the design and implementation of the design units for the world's leading SoCs and GPUs. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of...


  • Bengaluru, Karnataka, 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...


  • Bengaluru, Karnataka, India L&T Technology Services Full time

    Job Description DV Positions:Define and implement IP/SoC verification plans, build verification test benches to enable IP/sub-system/SoC level verificationDevelop functional tests based on verification test planDrive Design Verification to closure based on defined verification metrics on test plan, functional and code coverageDebug, root-cause and resolve...


  • Bengaluru, Karnataka, 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, Karnataka, India L&T Technology Services Full time

    Job Description DV Positions:Define and implement IP/So C verification plans, build verification test benches to enable IP/sub-system/So C level verificationDevelop functional tests based on verification test planDrive Design Verification to closure based on defined verification metrics on test plan, functional and code coverageDebug, root-cause and resolve...


  • Bengaluru, Karnataka, 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.We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and...


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

    BackSMTS - Formal Verification: Bangalore, India Engineering 36482mail_outlineGet 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 accelerate nextgeneration...

  • AMS Verification

    1 week ago


    Bengaluru, Karnataka, India Texas Instruments Full time

    Basic Qualifications: 12 years of experience in AMS design verification- to develop verliog/verilogA/verilogAMS models for signal and power management modules, to support Top level verification- experience in full chip DV will be an added advantage- to contribute to development of Full-Chip AMS DV plan & own significant pieces of this verification.- and...


  • Bengaluru, Karnataka, India L&T Technology Services Full time

    Job Description DV Positions:Define and implement IP/SoC verification plans, build verification test benches to enable IP/sub-system/SoC level verification.Develop functional tests based on verification test plan.Drive Design Verification to closure based on defined verification metrics on test plan, functional and code coverage.Debug, root-cause and resolve...


  • Bengaluru, Karnataka, India Analog Devices Full time

    Digital DV Lead Come join Analog Devices (ADI) – a place where Innovation meets Impact. For more than 55 years, Analog Devices has been inventing new breakthrough technologies that transform lives. At ADI you will work alongside the brightest minds to collaborate on solving complex problems that matter from autonomous vehicles, drones and factories to...


  • Bengaluru, Karnataka, 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. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and...


  • Bengaluru, Karnataka, India Rivos Full time

    Responsibilities: Working with RTL design engineers on identifying the microarchitecture features for formal microarchitecture specification. Developing a comprehensive formal verification test plan. Proving properties of the design, finding design bugs, and working closely with design teams to help improve the microarchitecture. Crafting novel and creative...