フォーマル検証のOneSpin Solutionsが2012年売上2ケタ増達成、2013年に新製品リリース

2013年1月15日、フォーマル検証ツールを手掛けるドイツのEDAベンダOneSpin Solutionsは、同社の2012年の業績と今後の事業計画を発表した。

売上額の詳細は公表されていないが、OneSpinによると同社の2012年の売上は前年比2ケタ増を達成した。同社は昨年5月にベンチャー・キャピタルからの追加の出資を受けると同時に社長が交代。これを機に新規事業戦略に沿った製品開発を進め、2013年にアサーション合成、SoCインターコネクト検証、カバレッジ・クロージャ、検証IPといった新製品をリリースする予定としている。

尚、OneSpinはベンチャー・キャピタルからの資金調達により技術チーム、セールスおよびAE人員を増強。東ヨーロッパとイスラエルに新たに代理店を設置し、本社をドイツから米国（サンタクララ）に移転したという。