フォーマル検証ツールの独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検証製品スイートの一部として受け継がれていくことになる。