Upload Button Icon Add office photos

Intel

Compare button icon Compare button icon Compare
filter salaries All Filters

205 Intel Jobs

Formal Verification Engineer

8-13 years

Bangalore / Bengaluru

Formal Verification Engineer

Intel

posted 3hr ago

Job Role Insights

Flexible timing

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 including 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.
  • Understands the binary decision diagram (BDD) and data flow graph (DFG) for data paths and resolves the BDD complexity on arithmetic.
  • Applies understanding of modeling architecture to simplify and model the problem and uses tools to formally prove protocols and architectures.

  •  Qualifications 
    Minimum qualifications are required to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.Minimum Qualifications:
  • Bachelor's degree in Computer Engineering, Computer Science, Electrical Engineering, or related STEM degree plus 10+ years of industry experience,
  • OR Master's degree in Computer Engineering, Computer Science, Electrical Engineering, or related STEM degree plus 8+ years of industry experience
  • The years of experience mentioned above must focus on formal verification


  • Preferred Qualifications:
  • Knowledge of GPU
  • Formal verification experience in at least one of these areas:Arbitration logic, low power design, memory controller, transaction router/bridge.

  •  Inside this Business Group The Client Computing Group (CCG) is responsible for driving business strategy and product development for Intel's PC products and platforms, spanning form factors such as notebooks, desktops, 2 in 1s, all in ones. Working with our partners across the industry, we intend to deliver purposeful computing experiences that unlock people's potential - allowing each person use our products to focus, create and connect in ways that matter most to them. As the largest business unit at Intel, CCG is investing more heavily in the PC, ramping its capabilities even more aggressively, and designing the PC experience even more deliberately, including delivering a predictable cadence of leadership products. As a result, we are able to fuel innovation across Intel, providing an important source of IP and scale, as well as help the company deliver on its purpose of enriching the lives of every person on earth.

    Employment Type: Full Time, Permanent

    Read full job description

    Intel Interview Questions & Tips

    Prepare for Intel Verification Engineer roles with real interview advice

    What people at Intel are saying

    4.0
     Rating based on 11 Verification Engineer reviews

    Likes

    Very good culture. Scope for learning new things.

    • Salary - Good
    • +6 more
    Dislikes

    Pay is less compared to other peer companies.

    Read 11 Verification Engineer reviews

    Verification Engineer salary at Intel

    reported by 83 employees with 1-10 years exp.
    Lock Unlock
    ₹13.1 L/yr - ₹45 L/yr
    160% more than the average Verification Engineer Salary in India
    View more details

    What Intel employees are saying about work life

    based on 941 employees
    91%
    91%
    73%
    98%
    Flexible timing
    Monday to Friday
    No travel
    Day Shift
    View more insights

    Intel Benefits

    Submitted by Company
    Learning and career
    Flexible Work Options
    On-Site Conveniences
    Lifestyle
    Giving Back
    Health Benefits +3 more
    Submitted by Employees
    Work From Home
    Free Transport
    Gymnasium
    Cafeteria
    Health Insurance
    Team Outings +6 more
    View more benefits

    Compare Intel with

    Qualcomm

    3.8
    Compare

    Nvidia

    3.7
    Compare

    Microsoft Corporation

    4.0
    Compare

    Advanced Micro Devices

    3.7
    Compare

    Texas Instruments

    4.1
    Compare

    Broadcom

    3.3
    Compare

    Micron Technology

    3.7
    Compare

    Applied Materials

    3.9
    Compare

    Analog Devices

    4.0
    Compare

    Marvell Technology

    3.7
    Compare

    Xilinx

    4.2
    Compare

    Tata Electronics

    4.0
    Compare

    TDK India Private Limited

    3.8
    Compare

    Molex

    3.9
    Compare

    Carl Zeiss

    3.6
    Compare

    Synopsys

    3.8
    Compare

    Cadence Design Systems

    4.0
    Compare

    Lam Research

    3.7
    Compare

    NXP Semiconductors

    3.7
    Compare

    Infineon Technologies

    3.9
    Compare

    Similar Jobs for you

    Verification Engineer at Intel Technology India Pvt Ltd

    Bangalore / Bengaluru

    7-12 Yrs

    ₹ 9-14 LPA

    Verification Engineer at Intel Technology India Pvt Ltd

    Bangalore / Bengaluru

    9-14 Yrs

    ₹ 11-16 LPA

    Verification Engineer at Intel Technology India Pvt Ltd

    Bangalore / Bengaluru

    5-10 Yrs

    ₹ 7-12 LPA

    Verification Engineer at Intel Technology India Pvt Ltd

    Bangalore / Bengaluru

    8-13 Yrs

    ₹ 10-15 LPA

    Design & Verification Engineer at Intel Technology India Pvt Ltd

    Bangalore / Bengaluru

    8-13 Yrs

    ₹ 10-15 LPA

    Design & Verification Engineer at Intel Technology India Pvt Ltd

    Bangalore / Bengaluru

    4-9 Yrs

    ₹ 6-11 LPA

    Design & Verification Engineer at Intel Technology India Pvt Ltd

    Bangalore / Bengaluru

    10-15 Yrs

    ₹ 12-17 LPA

    Designer at Qualcomm india pvt ltd.

    Bangalore / Bengaluru

    2-7 Yrs

    ₹ 4-9 LPA

    Designer at Qualcomm india pvt ltd.

    Bangalore / Bengaluru

    2-7 Yrs

    ₹ 4-9 LPA

    Design & Verification Engineer at Intel Technology India Pvt Ltd

    Bangalore / Bengaluru

    14-19 Yrs

    ₹ 16-20 LPA

    Intel Bangalore / Bengaluru Office Locations

    View all
    Bengaluru Office
    136, HAL Old Airport Rd, Kodihalli, Bengaluru, Karnataka 560017, India Bengaluru
    View on map
    Bengaluru Office
    Outer Ring Rd, Adarsh Palm Retreat, Bellandur, Bengaluru, Karnataka 560103, India Bengaluru
    View on map

    Formal Verification Engineer

    8-13 Yrs

    Bangalore / Bengaluru

    3hr ago·via naukri.com

    Software Quality Automation Engineer

    5-10 Yrs

    Bangalore / Bengaluru

    3hr ago·via naukri.com

    Platform Validation Engineer

    3-6 Yrs

    Bangalore / Bengaluru

    7hr ago·via naukri.com

    Pre-si Verification Engineer

    5-10 Yrs

    Bangalore / Bengaluru

    18hr ago·via naukri.com

    Senior Validation Lead

    8-12 Yrs

    Bangalore / Bengaluru

    19hr ago·via naukri.com

    SoC Power Thermal Performance Val and Opt Engineer

    5-7 Yrs

    Bangalore / Bengaluru

    1d ago·via naukri.com

    Manager Embedded Software development

    20-25 Yrs

    Bangalore / Bengaluru

    1d ago·via naukri.com

    Infrastructure and DevOps Engineer

    5-10 Yrs

    Bangalore / Bengaluru

    1d ago·via naukri.com

    Experienced Logic Design Engineer

    4-9 Yrs

    Bangalore / Bengaluru

    1d ago·via naukri.com

    Structural Design Engineer

    5-10 Yrs

    Bangalore / Bengaluru

    1d ago·via naukri.com

    Recently Viewed

    COMPANY BENEFITS

    ICICI Bank

    Kakinada

    6 benefits

    COMPANY BENEFITS

    ICICI Bank

    Junagadh

    1 benefit

    JOBS

    Accenture

    No Jobs

    JOBS

    Accenture

    No Jobs

    write
    Share an Interview
    How was your last interview experience?
    Rate your experience using AmbitionBox
    Terrible
    Terrible
    Poor
    Poor
    Average
    Average
    Good
    Good
    Excellent
    Excellent