Fpga, Perl, Python, low power verification, Uvm, systemverilog, AMBA bus protocols, Baremetal processor environments, RTL development environments, verification platforms, transaction level modelling, test bench infrastructure, formal verification methods, emulation platforms

redhawk , PDN methodology, PNR and signoff tools, Cadence Innovus, Physical Verification, IR EM mitigation, floorplanning, STA constraints, physical design implementation, primetime, Synopsys ICC2, Tempus, Voltus