Add office photos
All Filters
68 Intel Jobs
Formal Verification Engineer
Intel
posted 1d ago
Job Description
- 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.
- 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.
- M Tech with 7 years of experience / B Tech with 8+ years of experience.
- Electrical & Electronics / Communication Engineering
- Hands on Experience on verification of IPS / Min 2 years hands on experience on formal verification
Employment Type: Full Time, Permanent
Read full job descriptionIntel Interview Questions & Tips
Prepare for Intel Verification Engineer roles with real interview advice
What people at Intel are saying
Rating based on 11 Verification Engineer
reviews
Anonymous · Engineering
in Hyderabad/Secunderabad
Likes
Very good culture. Scope for learning new things.
Dislikes
Pay is less compared to other peer companies.
Read 11 reviewsVerification Engineer salary at Intel
reported by
104
employees
₹9.5
L/yr - ₹36
L/yr
110%
more
than the average Verification Engineer Salary in India
View more details
What Intel employees are saying about work life
based on 973 employees
Flexible timing
Monday to Friday
No travel
Day Shift
Intel Benefits
Submitted by Company
Learning and career Flexible Work Options On-Site Conveniences Lifestyle Giving Back
Submitted by Employees
View more benefits 
Compare Intel with
Qualcomm
Compare
Nvidia
Compare
Microsoft Corporation
Compare
Advanced Micro Devices
Compare
Texas Instruments
Compare
Broadcom
Compare
Micron Technology
Compare
Applied Materials
Compare
Analog Devices
Compare
Marvell Technology
Compare
Xilinx
Compare
Tata Electronics
Compare
TDK India Private Limited
Compare
Molex
Compare
Carl Zeiss
Compare
Cadence Design Systems
Compare
Lam Research
Compare
NXP Semiconductors
Compare
Infineon Technologies
Compare
Mouser Electronics
Compare
Similar Jobs for you
Intel Bangalore / Bengaluru Office Locations
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
Share an Interview