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