フォーマル検証のOneSpin Solutions、2013年は好調で売上2倍、受注額3倍
2014年1月16日、フォーマル検証ツールを手掛ける、米OneSpin Solutionsは、同社の2013年の業績を発表した。
発表によるとOneSpinの2013年の業績は非常に好調で、売上は前年比100％増すなわち2倍を記録し、受注額は前年比200％で3倍に達したとの事。
ここ最近OneSpinは、ASICに限らずFPGA設計も視野に入れてフォーマル検証の利用を進めており、昨年11月には、クラウド・ベースのFPGA設計プラットフォームを提供する米Plunify社のソリューション「EDAxtend」でOneSpin社のフォーマル・検証ツールが利用可能となった。
また同社自身、1時間25ドルから使用できる、Amazonのインフラを利用したクラウドベースのフォーマル検証ソリューションの提供を開始しているほか、Mentorに技術資産を売却したOasys Design Systemsに等価性検証ツールの技術をOEM供給するなど、ツールの開発、エンハンス以外にもサービス面で積極的に活動している印象が強い。
※OneSpin Solutions
= EDA EXPRESS 菰田 浩 =
（2014.01.24
）