Test Planning, C, Python, Computer Architecture, stimulus generation, coverage analysis, CPU microarchitecture, verification methodologies, ALU pipelines, systemverilog, datapath verification, floating-point execution, formal verification, Debug