Home
Jobs
Intel logo

Formal Verification Engineer

7 - 12 years

9 - 14 Lacs

Bengaluru

Posted:3 months ago| Platform: Naukri logo

Apply

Skills Required

soc simulation ip rtl formal verification asic physical design asic verification c digital design rtl development uvm vhdl verilog asic design functional verification rtl design axi fpga fpga design rtl coding ahb vlsi system verilog

Work Mode

Work from Office

Job Type

Full Time

Job Description

About The Role : Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. Creates comprehensive formal verification test and coverage plans to include definition of formal verification scope, strategy, and techniques. Creates abstraction models for convergence on the design, carves out the right boundaries for the design, and tracks, verifies, and applies abstraction techniques. Develops formal proofs to implement the verification plan, reviews the completed proofs, and develops new formal verification methodologies. Performs convergence on design by creating formal verification methodology, abstraction, and simulation techniques. Finds and implements corrective measures to resolve failing tests. Collaborates with architects, RTL developers, and physical design teams to improve verification of complex architectural and microarchitectural features. Documents test plans and drives technical reviews of plans and proofs with design and architecture teams. Maintains and improves existing functional verification infrastructure and methodology. Qualifications M Tech with 7+ years of experience B Tech with 8+ years of experience. Electrical and Electronics or Communication Engineering Hands on Experience on verification of IPS Min 2 years hands on experience on formal verification Inside this Business Group The Data Center & Artificial Intelligence Group (DCAI) is at the heart of Intel's transformation from a PC company to a company that runs the cloud and billions of smart, connected computing devices. The data center is the underpinning for every data-driven service, from artificial intelligence to 5G to high-performance computing, and DCG delivers the products and technologies"”spanning software, processors, storage, I/O, and networking solutions"”that fuel cloud, communications, enterprise, and government data centers around the world. Working Model This role will require an on-site presence. *

More Jobs at Intel

HPC Solution Architect

Bengaluru

8 - 12 yrs
|

INR 25 - 30 Lacs

Senior Physical Design Analog Integration Engineer

Bengaluru

6 - 10 yrs
|

INR 16 - 20 Lacs

Network Automation Engineer

Bengaluru

3 - 5 yrs
|

INR 5 - 8 Lacs

System Software Engineer

Bengaluru

1 - 4 yrs
|

INR 12 - 17 Lacs

Post-Si Intern

Bengaluru

Experience: Not specified

|

INR 11 - 15 Lacs

Mock Interview

Practice Video Interview with JobPe AI

Start Soc Interview Now

My Connections Intel

Download Chrome Extension (See your connection in the Intel )

chrome image
Download Now
Intel
Intel
www.intel.com

Semiconductors

Santa Clara

110,600 Employees

303 Jobs

    Key People

  • Pat Gelsinger

    Chief Executive Officer

  • David Zinsner

    Chief Financial Officer

RecommendedJobs for You

Intel logo

Formal Verification Engineer

Intel

Bengaluru

Kaizen SRA Technologies Private Limited logo

Formal Verification Engineer

Kaizen SRA Technologies Private Limited

Hyderabad / Secunderabad, Telangana, Telangana, India

Intel logo

Formal Verification Engineer

Intel

Bengaluru

Intel logo

Formal Verification Engineer

Intel

Bengaluru

Intel logo

Formal Verification Engineer

Intel

Bengaluru

Intel logo

Formal Verification Engineer

Intel

Bengaluru