IC design tools:
Simulation:
Cadence simulation tools(Xcelium, NCSIM)
ModelSim
Iverilog, Gtkwave
Linting:
Verilator
Xcelium Hal-check
Coverage
Xcelium Coverage, Cadence Integrated Metric Center (IMC)
Covered
Synthesis
Cadence Genus, RTL compiler
Yosys
Design compiler
LEC
Conformal
Yosys
Verification
Regression: RTL/ NETLIST/HTML Report
Signoff
Tempus, Voltus
OpenSTA
prime time
HW/SW Programming languages:
VHDL, Verilog, and SystemVerilog
MATLAB, Python
C and C++ (gcc)
TCL, C shell (csh), Perl
Makefile
Version Control:
SVN, Git
FPGA:
Xilinx Vivado design environment, Xilinx ISE
Aldec Active-HDL, Altera Quartus7.2
Xilinx Arty A7
Xilinx ZYNQ ZC702 board
Microcontrollers
STM32F4X Microcontrollers in C
AVR/ARM Microcontrollers in C and Basic
PCB
Altium Designer