Xilinx (7 series) FPGA programming platforms; Vivado, Vivado HLS, Xilinx SDK, Xilinx System Generator MATLAB/Simulink tools; Verilog, VHDL (beginner), SystemC (including synthesizable version) languages; I worked for 3 years for AMD like SOC design/verification.