2012-06-01 フォーマル検証のOneSpin、オーナーVCからの追加出資を受けると同時に社長交代 EDA関連ニュース http://www.eda-express.com/2012/06/onespinvc.html