Cadence: IUS, Spectre Synopsys: DC/DFT Compiler, Tetramax ATPG, Formality Mentor: Modelsim Altera: Quartus II Xilinx: Xilinx ISE
Worked as a Software Engineer for a global leader in the design and manufacture of embedded semiconductors: