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