MaximがOneSpinのフォーマル検証ツール「OneSpin 360 MV」を3つの事業部で採用

2012年11月17日、フォーマル検証ツールを手掛けるドイツのEDAベンダOneSpin Solutionsは、同社の「OneSpin 360 MV」をMaximが採用した事を発表した。

発表によるとMaximは、マイクロコントローラのデザインを用いてOneSpinのフォーマル検証ツール「OneSpin 360 MV」を3ヶ月に渡り評価。「OneSpin 360 MV」は、他社のフォーマル検証ツールが見逃したコーナー・ケースのバグや新たなバグを発見できたことから、HPに採用される事になった。HPは、「OneSpin 360 MV」を社内3つの事業部の世界各地のデザイン・センターで利用するという。

OneSpinは今年5月に増資を行い、社長が交代している。