Cpu Dv Formal Verification
3 weeks ago
**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.
-
Senior Formal Verification Engineer
2 weeks ago
Bengaluru, India ARM Full timeJob 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...
-
IP/SOC Verification Engineer
4 weeks ago
Bengaluru, India Wipro Full timeTitle: 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...
-
Cpu Design Verification
5 days ago
Bengaluru, Karnataka, India Rivos Full timeFull-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...
-
Principal Design Verification
3 days ago
Bengaluru, India Microsoft Full timeOverviewMicrosoft 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...
-
IP Verification Engineer
4 weeks ago
Bengaluru, India Wipro Full timeJob 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....
-
IP Verification Engineer
1 month ago
Bengaluru, India Wipro Full timeJob 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...
-
IP Verification Engineer
4 weeks ago
Bengaluru, India Wipro Full timeJob 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...
-
IP/SOC Verification Engineer
4 weeks ago
Bengaluru, India Wipro Full timeTitle: 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...
-
IP/SOC Verification Engineer
4 weeks ago
Bengaluru, India Wipro Full timeTitle: 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...
-
Digital Design Verification Engineer
2 days ago
Bengaluru, India Analog Devices Full timeDigital 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...
-
Senior Design Verification Engineer
2 days ago
Bengaluru, India Analog Devices Full timeJob 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...
-
Digital Design Verification Engineer
1 week ago
Bengaluru, India Analog Devices Full timeDigital 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...
-
Senior Design Verification Engineer
4 weeks ago
Bengaluru, India Analog Devices Full timeJob 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 ...
-
CPU Verification Engineer
4 weeks ago
Bengaluru, India Mulya Technologies Full timeCPU 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...
-
Senior CPU Architecture Verification Engineer
4 weeks ago
Bengaluru, India Mulya Technologies Full timeSenior 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...
-
Formal Verification Engineer
2 days ago
Bengaluru, India Rakiya Information Technology Solutions Full timeHello 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 timeThe 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...
-
Formal Verification Engineer
4 weeks ago
Bengaluru, India Rakiya Information Technology Solutions Full timeHello 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]
-
CPU Verification Engineer
2 weeks ago
Bengaluru, India NVIDIA Full timeWe 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...
-
Design Verification-dv
6 days ago
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...