Verification of the microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs Graphics Server IPs processors and SOCs Using the hardware architecture design and RTL implementation details define the Formal Verification scope deploy the right strategy to prove the correctness while deploying advanced formal techniques and create abstraction models for convergence on the design Carve out the right boundaries for the design create comprehensive Formal Verification test plans track verify apply abstraction techniques and converge on complex designs to deliver a high quality design on schedule and articulate the ROI Analyses new methodologies evaluates new tools and corroborate results May work with vendors on resolving hard design and tool problems
Engineers should possess a Masters degree in Computer Science Electrical Engineering Mathematics Specialization in formal verification is preferable
DesignVal engineers who want to try the new paradigm in verification are welcome to apply Formal Verification being a sought after capability can help the engineer get a fresh perspective on proving a design
IP Engineering Group's (IPG) vision Build IPs that power Intel's leadership products and power our customer's silicon. We want to attract & retain talent who get joy in building high quality IP and share our core belief that IP is fundamental to transforming Intel's silicon design process. IPG's guiding principles will be ensuring Quality (Zero Bugs), Customer Obsession (Delight our Customers) and structured Problem Solving. We are a fearless organization transforming IP development.