C, Automation Frameworks, Python, power management, RTL simulation, Emulation, debug methodologies, regression infrastructure, AMBA protocols, NoC transactors, Uvm, systemverilog, coverage closure, verification infrastructure, protocol checkers