2014-01-24 フォーマル検証のOneSpin Solutions、2013年は好調で売上2倍、受注額3倍 EDA関連ニュース http://www.eda-express.com/2014/01/onespin-solutions201323.html