Компания Siemens Digital Industries Software подписала соглашение с британской компанией Azini Capital о поглощении OneSpin Solutions – ведущего поставщика программного обеспечения формальных проверок со штаб-квартирой в Мюнхене. Динамично развивающий бизнес разработчик предлагает самый широкий в отрасли портфель приложений формальных проверок для обеспечения корректной работы ИС в неблагоприятных условиях окружающей среды на ключевых развивающихся рынках.
Включение OneSpin Solutions в свои активы позволило компании «Сименс» пополнить корпоративный портфель лучшими на рынке решениями по верификации целостности ИС. В выигрыше окажутся прежде всего заказчики.
Технологии OneSpin Solutions в портфеле Xcelerator
Автоматизированные приложения дополняют традиционные подходы и способствуют демократизации формальных процессов проверок за счет автоматизации и существенной оптимизации общих задач верификации. «Сименс» планирует добавить технологии OneSpin Solutions в портфель Xcelerator в рамках отраслевого пакета решений верификации ИС для автоматизации проектирования электронных устройств (EDA).
Гарантии заказчикам
«Теперь, когда у нас есть OneSpin Solutions, мы можем предложить своим заказчикам передовые отраслевые ноу-хау и продукты, а также самый обширный в отрасли портфель автоматизированных приложений формальных проверок для ключевых сценариев использования, включая доступ и охрану, безопасность, RISC-V и FPGA приложения», – говорит доктор Рави Субраманиан (Ravi Subramanian), старший вице-президент отдела верификации ИС подразделения Siemens Digital Industries Software. – Этот шаг позволит «Сименс» гарантировать заказчикам уверенность в платформе верификации (моделирование, формальный процессы, эмуляция и создание опытных образцов), а также ускорить процессы верификации, автоматизации и отладки».
«OneSpin Solutions работали над решением сложнейших задач верификации для обеспечения целостности ИС. Уникальные технологии и сфокусированность компании способствовали нашему росту в таких сферах, как 5G, автомобилестроение, центры обработки данных, Интернет вещей, аэрокосмическая промышленность и оборона, – комментирует президент и генеральный директор OneSpin Solutions Райк Бринкманн (Raik Brinkmann). – Присоединившись к «Сименс», мы сможем ускорить темпы развития технологий и предложить наши решения более широкому кругу пользователей, а также стать ведущим официальным поставщиком решений формальной верификации на рынке».
Завершение сделки по поглощению OneSpin Solutions компанией «Сименс» ожидается во втором квартале 2021 года.
