2011-05-17 2011年5月16日、フォーマル検証ツールを手掛ける独OneSpin Solutionは、ルネサス エレクトロニクスが同社のフォーマル検証ツール「OneSpin 360MV」を採用した事を発表した。 EDA関連ニュース http://www.eda-express.com/2011/05/onespin-3.html