2012-12-19 MaximがOneSpinのフォーマル検証ツール「OneSpin 360 MV」を3つの事業部で採用 EDA関連ニュース http://www.eda-express.com/2012/12/maximonespinonespin-360-mv3.html