המקום בו המומחים והחברות הטובות ביותר נפגשים
Intel Formal Verification Engineer Israel, Haifa District, Haifa 722777216
In this role, you will be required to acquire deep architectural and micro-architectural understanding of high complexity hardware design blocks, interacting with architecture and design teams. You will also conduct verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms. In addition to creating comprehensive formal verification test and coverage plans including definition of formal verification scope, strategy, and techniques.You will have to master state of the art Formal Verification techniques and develop verification collaterals in System Verilog. You will be part of a team working to deploy new techniques in the large development team and working closely with the tool and technology developers for problem solving.
Qualifications- At least 1 year of experience in Formal Verification.
- B.Sc. or M.Sc. in Computer Science or Electrical/Computer Engineering.
- Familiar with frontend RTL design, Verilog and debug tools - advantage.
- Analytical and debugging skills, and creative in problem solving.
- Team player, passionate, energetic, motivated, and self-driven.
- Ability to work independently.
- Ability to learn new material fast and translate knowledge into task execution.
- Good communication skills and good ability to learn complex design specification from various sources written or verbal.
- Ability to focus on hard problems and invest what it takes to moving forward towards solving these problems.
משרות נוספות שיכולות לעניין אותך
