2011-01-26 フォーマル検証の独OneSpin、オーナーである投資家が代わる EDA関連ニュース http://www.eda-express.com/2011/01/onespin-2.html