2013-01-16 2013年1月15日、フォーマル検証ツールを手掛けるドイツのEDAベンダOneSpin Solutionsは、同社の2012年の業績と今後の事業計画を発表した。 EDA関連ニュース http://www.eda-express.com/2013/01/onespin-solutions201222013.html