See more Collapse

▷ [High Salary] Senior Design Verification Engineer

2 months ago


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.

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 shape the future of technology that will fuel billions of devices world-wide.

Responsibilities:

You will apply Formal Methods to CPU Units developed in the Bangalore/Other design centers, with the opportunity to collaborate with our global Formal Teams. The role entails investigating, creating, developing and deploying new Formal Verification techniques on live projects. You will use the industry’s best available tools and be in close contact with EDA tool vendors. You will work alongside formal experts to plan and implement Formal Verification to exceptional quality and will deliver to milestones for the CPU IPs.

Required Skills and Experience :

- 5+ years of experience in formal verification of digital hardware design- Familiarity with formal methods (e.g. SVA, PSL, model checking, theorem proving)- Awareness of Formal practices/apps/tools for functionally safe IPs suited for Automotive products is a plus.- An engineering mind-set and passion for digital design- Familiarity with industry-standard formal verification tools- Knowledge of hardware description and verification languages, such as VHDL, Verilog/ SystemVerilog, PSL- A keen interest in processors and digital systems- Strong reasoning skills and excellent attention to detail- Ability to understand and map abstract formal concepts onto designs- Creativity and ability to communicate ideas effectively- Good inter-personal and teamwork skills

Nice To Have” Skills and Experience :

- Understanding of the end-to-end verification processes, from test plan creation through to verification closure- Experience in scripting languages, e.g. Python/Perl/TCL/shell programming- Familiarity with model-checking techniques- Exposure to invariants and abstractions- Understanding of assume-guarantee reasoning

Interested candidates kindly reach out on

References are welcomed.

We have other current jobs related to this field that you can find below


  • Bengaluru, Karnataka, India Eximietas Design Full time

    About Us: Eximietas Design is a leading technology firm specializing in [VLSI/Cloud Computing/Cyber Security/AI/ML] solutions.With a commitment to innovation and excellence, we empower businesses to thrive in the dynamic digital landscape.Our success is fueled by the expertise of our engineering leadership team, drawn from industry giants such as Google,...


  • Bengaluru, India Mulya Technologies Full time

    Senior Digital Verification EngineerBangalore / HyderabadSenior Digital Verification EngineerEngineering – Digital Circuit Design /Full-Time /We are looking for an experienced digital verification engineer, who is capable of driving the required verification flows for our mixed-signal designs. The ability to work closely with rtl design team and the analog...


  • Bengaluru, Karnataka, India Mulya Technologies Full time

    Senior Digital Verification EngineerBangalore / HyderabadSenior Digital Verification EngineerEngineering – Digital Circuit Design /Full-Time /We are looking for an experienced digital verification engineer, who is capable of driving the required verification flows for our mixed-signal designs. The ability to work closely with rtl design team and the analog...


  • Bengaluru, Karnataka, India Insemi Technology Full time

    Company Description : InSemi Technology Services Pvt. Ltd. , founded in 2013, is a design services company specializing in VLSI and embedded systems. With expertise in chip design and embedded domains, we provide engineering design services and bridge the gap between academia and industry. Our VLSI expertise includes memory compiler/custom IP, analog and...


  • Bengaluru, India Mulya Technologies Full time

    Senior Design Verification EngineerLocation: BangaloreWho We AreWe are a AI semiconductor startup company headquartered in Ann Arbor, Michigan, with branches in Bangalore, India and , Taiwan. We develop highly scalable and innovative AI accelerator chips that offer high performance, low energy, and customer ease of implementation for embedded Edge AI...


  • Bengaluru, Karnataka, India Mulya Technologies Full time

    Senior Design Verification EngineerLocation: BangaloreWho We AreWe are a AI semiconductor startup company headquartered in Ann Arbor, Michigan, with branches in Bangalore, India and , Taiwan. We develop highly scalable and innovative AI accelerator chips that offer high performance, low energy, and customer ease of implementation for embedded Edge AI...


  • Bengaluru, Karnataka, India Analog Devices Full time

    Analog Devices is seekingSenior digital design verification Engineer, who will be responsible for design verification of highly integrated solutions and products in a multifunctional team. You will be working on driving real revenue growth on the next generation of Intelligence at the Edge products across multiple products and business units.About ADI:Analog...


  • Bengaluru, India Ms Angel and Genie Full time

    Design Verification Engineer (Pre Silicon Design)Location: BangaloreExperience: 6 to 12 yrsEmployment type: Full Time, permanentSalary : As per Market StandardKey Skills: Pre Silicon Design Verification UVM test BenchesPositions: IP/ SoC Verification Engineer / Senior Verification EngineerLocation: BangaloreExperience: 4- 8 YearsEmployment type: Full Time,...


  • Greater Bengaluru Area, India Mulya Technologies Full time

    Senior Digital Verification EngineerBangalore / HyderabadSenior Digital Verification EngineerEngineering – Digital Circuit Design /Full-Time /We are looking for an experienced digital verification engineer, who is capable of driving the required verification flows for our mixed-signal designs. The ability to work closely with rtl design team and the analog...


  • Bengaluru, India Analog Devices Full time

    Analog Devices is seeking Senior digital design verification Engineer , who will be responsible for design verification of highly integrated solutions and products in a multifunctional team. You will be working on driving real revenue growth on the next generation of Intelligence at the Edge products across multiple products and business units. About...


  • Bengaluru, India Analog Devices Full time

    Analog Devices is seeking Senior digital design verification Engineer , who will be responsible for design verification of highly integrated solutions and products in a multifunctional team. You will be working on driving real revenue growth on the next generation of Intelligence at the Edge products across multiple products and business units. About...


  • Bengaluru, India Eximietas Design Full time

    About Us: Eximietas Design is a leading technology firm specializing in [VLSI/Cloud Computing/Cyber Security/AI/ML] solutions. With a commitment to innovation and excellence, we empower businesses to thrive in the dynamic digital landscape. Our success is fueled by the expertise of our engineering leadership team, drawn from industry giants such as Google,...


  • Bengaluru, India Eximietas Design Full time

    About Us: Eximietas Design is a leading technology firm specializing in [VLSI/Cloud Computing/Cyber Security/AI/ML] solutions. With a commitment to innovation and excellence, we empower businesses to thrive in the dynamic digital landscape. Our success is fueled by the expertise of our engineering leadership team, drawn from industry giants such as Google,...


  • Bengaluru, Karnataka, India Eximietas Design Full time

    About Us: Eximietas Design is a leading technology firm specializing in [VLSI/Cloud Computing/Cyber Security/AI/ML] solutions. With a commitment to innovation and excellence, we empower businesses to thrive in the dynamic digital landscape. Our success is fueled by the expertise of our engineering leadership team, drawn from industry giants such as Google,...


  • Bengaluru, India Eximietas Design Full time

    About Us: Eximietas Design is a leading technology firm specializing in (VLSI/Cloud Computing/Cyber Security/AI/ML) solutions. With a commitment to innovation and excellence, we empower businesses to thrive in the dynamic digital landscape. Our success is fueled by the expertise of our engineering leadership team, drawn from industry giants such as Google,...


  • Bengaluru, India Eximietas Design Full time

    About Us: Eximietas Design is a leading technology firm specializing in [VLSI/Cloud Computing/Cyber Security/AI/ML] solutions. With a commitment to innovation and excellence, we empower businesses to thrive in the dynamic digital landscape. Our success is fueled by the expertise of our engineering leadership team, drawn from industry giants such as Google,...


  • Bengaluru, India Eximietas Design Full time

    About Us: Eximietas Design is a leading technology firm specializing in [VLSI/Cloud Computing/Cyber Security/AI/ML] solutions. With a commitment to innovation and excellence, we empower businesses to thrive in the dynamic digital landscape. Our success is fueled by the expertise of our engineering leadership team, drawn from industry giants such as Google,...


  • Bengaluru, India Eximietas Design Full time

    About Us: Eximietas Design is a leading technology firm specializing in (VLSI/Cloud Computing/Cyber Security/AI/ML) solutions. With a commitment to innovation and excellence, we empower businesses to thrive in the dynamic digital landscape. Our success is fueled by the expertise of our engineering leadership team, drawn from industry giants such as Google,...


  • Bengaluru, Karnataka, India Mulya Technologies Full time

    Senior Design Verification Engineer - Cache Coherency Verification Fortune 100 Organization Location: Bangalore Introduction As a Hardware Developer you'll get to work on the systems that are driving the quantum revolution and the AI era. Join an elite team of engineering professionals who enable our customers to make better decisions quicker on the most...


  • Bengaluru, India Ms Angel and Genie Full time

    Design Verification Engineer (Pre Silicon Design)Location: BangaloreExperience: 6 to 12 yrsEmployment type: Full Time, permanentSalary : As per Market StandardKey Skills: Pre Silicon Design Verification UVM test BenchesPositions: IP/ SoC Verification Engineer / Senior Verification EngineerLocation: BangaloreExperience: 4- 8 YearsEmployment type: Full Time,...