2010-02-25 2010年2月22日、フォーマル検証ツールを手掛ける独OneSpin Solutionsは、同社のアサーションベース検証ツール「360 MV」とPlatform Computing社の分散処理ソリューションの統合を発表した。 EDA関連ニュース http://www.eda-express.com/2010/02/360-mv.html