Intel
Bangalore, IN · On-site · Full-time
FVCTO - Formal Verification Engineer
Posted 23 days ago
- Location
- Bangalore, IN
- Work mode
- On-site
- Employment
- Full-time
- Experience
- Mid-level
About the role
Job Details 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 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 abst…