CPU Formal Verification Engineer
hace 12 días
Cambridge
Based on a thorough understanding of the design architecture, develop, run, and debug x86 assembly‑based directed tests and random exercisers to validate functionality and testability operation of the microprocessor design, leveraging C/C++/Perl/Python/assembly programming, logic design, and simul