Contribute to the verification of processor cores and their subsystems, ensuring robust performance and functionality for high-performance computing solutions. This role is essential to the development of cutting-edge computing architectures.
Develop verification environments in C++ and implement object-oriented programming principles
Create and execute test plans for x86-based cores
Validate computer architecture designs, focusing on x86 assembly language
Collaborate with hardware and software teams to achieve verification goals
Perform formal verification to ensure core functionality and reliability
Must have
Proficiency in C++, OOP, and/or x86 assembly language
Solid understanding of computer architecture, particularly x86
Experience with digital design (Verilog)
Familiarity with formal verification techniques
Nice to have
Experience building and debugging architectural models
Exposure to modern verification methodologies
Knowledge of performance optimization in hardware design
Languages
English: B2 Upper Intermediate
Seniority
Senior