Tcl, Scripting, Shell, Perl, assertion-based verification, Uvm, regression frameworks, Functional Verification, systemverilog, coverage closure, formal verification, debug methodologies, automation using Python

C, Java, Python, Parallel execution strategies, qemu, SIMD vectorization, Optimization, Benchmarking, Cache-aware execution, Performance profiling