Pre-DAC 2013: TSMC certifies ATopTech, CDNS, MENT, SNPS