2013-02-01 2013年1月30日、Synopsysは、同社のC-to-RTLフォーマル検証ソリューション「HECTOR」をImagination Technologiesが導入した事を発表した。 EDA関連ニュース http://www.eda-express.com/2013/02/imagination-technologiessynopsyshector.html