フォーマル検証ツールの独OneSpinをSiemensが買収

2021年4月15日、Siemensはフォーマル検証ツールを手掛ける独OneSpin Solutionsを買収することを発表した。

SiemensはMentor Graphicsを買収してからもEDAソリューションの拡充を継続しており、昨年は配置配線ツールのAvatar Integrated Systems、SoC解析＆デバッグソリューションのUltraSoCなどを買収している。

OneSpin Solutionsは、Infineon TechnologiesとSiemensのエンジニアが2005年に立ち上げたEDAベンダで、元々ドイツを地盤にSiemensとの繋がりは強い。

OneSpin Solutionsのフォーマル検証ツールはワールドワイドで一定の実績を残しており、日本国内にも複数のユーザーを抱えている。昨今は自動車、RISC-V、FPGAなど、様々な分野、アプリケーションを切り口に、フォーマル検証ソリューションの展開を進めていた。

買収に関する詳細は明らかにされていないが、OneSpin Solutionsのツールや技術は今後SiemensのIC検証製品スイートの一部として受け継がれていくことになる。

※OneSpin Solutions

※Siemens