Formal CPU Expert

Job Title: CPU Formal Verification SpecialistWe are seeking a seasoned CPU Formal Verification Specialist to join our team. As a key member of our design team, you will be responsible for developing and implementing formal verification strategies for Qualcomm CPU components.The ideal candidate will have a strong background in formal methods, model checking,...

**Formal Verification Lead**: We are seeking an experienced Formal Verification Engineer to lead the development of our CPU core and pipeline stages.Key Responsibilities:Develop formal verification methodologies for control logic, pipelines, and memory subsystemsDefine safety and liveness properties, model check for corner case behaviorGuide designers in...

As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)- Experience with at least one formal verification tool (e.g.,...

As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

Job Title:CPU Verification SpecialistWe are seeking a skilled and motivated CPU Verification Specialist to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test scenarios, and ensuring full functional...

Senior CPU Verification SpecialistWe are seeking an experienced and motivated CPU Verification Specialist to contribute to the verification of high-performance, low-power CPU cores.Develop and maintain scalable testbenches for verifying CPU cores and subsystems using SystemVerilog and UVM methodology.Write directed and random test cases to verify micro...

As a CPU Verification Engineer, you will be responsible for verifying the functionality of CPU cores and subsystems.Our ideal candidate has strong hands-on experience with SystemVerilog and UVM methodology, as well as a deep understanding of CPU microarchitecture.We are seeking an experienced professional to develop scalable testbenches, drive complex test...

L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India.Job Description is mentioned in details::As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks...

CPU Verification EngineersExperience : 4+ yearsLocation : Bangalore & HyderabadWe are seeking a skilled and motivated CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test...