Hyderabad Jobs |
Banglore Jobs |
Chennai Jobs |
Delhi Jobs |
Ahmedabad Jobs |
Mumbai Jobs |
Pune Jobs |
Vijayawada Jobs |
Gurgaon Jobs |
Noida Jobs |
Hyderabad Jobs |
Banglore Jobs |
Chennai Jobs |
Delhi Jobs |
Ahmedabad Jobs |
Mumbai Jobs |
Pune Jobs |
Vijayawada Jobs |
Gurgaon Jobs |
Noida Jobs |
Oil & Gas Jobs |
Banking Jobs |
Construction Jobs |
Top Management Jobs |
IT - Software Jobs |
Medical Healthcare Jobs |
Purchase / Logistics Jobs |
Sales |
Ajax Jobs |
Designing Jobs |
ASP .NET Jobs |
Java Jobs |
MySQL Jobs |
Sap hr Jobs |
Software Testing Jobs |
Html Jobs |
Job Location | Bangalore |
Education | Not Mentioned |
Salary | Not Disclosed |
Industry | IT - Hardware / Networking |
Functional Area | General / Other Software |
EmploymentType | Full-time |
We are currently seeking an experienced Verification Engineer with strong CPU and formal verification fundamentals to work in Nvidia s CPU Formal Verification team. Nvidia builds CPUs that power the coming wave of self-driving cars with high end SoCs such as Xavier ( https://blogs.nvidia.com/blog/2016/09/28/xavier/ ). Xavier has a custom Denver class CPU which provides high end performance while being compliant with stringent automotive standards such as ISO26262.This position will have you crafting and optimizing formal verification flows across CPU projects and resolving tool issues for design teams with tool vendors. Additionally, youll verify the micro-architecture using formal verification tools to employ the latest model checking and equivalence checking techniques. You will be expected to understand the design & implementation, define the verification scope, and ensure design correctness. You will use advanced formal techniques to obtain full proofs, or sufficient bounded proofs, of the design while working with architects, designers, pre- and post-silicon verification teams to accomplish your tasks. You must be capable of leading the formal verification effort, coordinating verification coverage across functional groups, and clearly conveying verification results and holes to our team.What you ll be doing:
Keyskills :
verificationuvmdesignfailure analysismodel checkingcomputer scienceanalytical skillsformal verificationcommunication skillsequivalence checkingelectrical engineeringrtlcpujasperverilogsciencehistoryscriptscontext