28.04.2021 Новости, Зарубежные вендоры hardware, Консолидация, ОС и разработка приложенийВключая OneSpin Solutions в свои активы, «Сименс» получит лучшие на рынке решения по верификации целостности ИС Приобретение расширит портфель систем верификации ИС «Сименс» и повысит его эффективность для заказчиков Siemens Digital Industries Software подписало соглашение с британской компанией Azini Capital о поглощении OneSpin Solutions — ведущего поставщика программного обеспечения формальных проверок со штаб-квартирой в Мюнхене. Это сильный, динамично развивающийся бизнес, предлагающий самый широкий в отрасли портфель приложений формальных проверок для обеспечения корректной работы ИС в самых неблагоприятных условиях окружающей среды на ключевых развивающихся рынках. «Теперь, когда у нас есть OneSpin Solutions, мы можем предложить своим заказчикам передовые отраслевые ноу-хау и продукты, а также самый обширный в отрасли портфель автоматизированных приложений формальных проверок для ключевых сценариев использования, включая доступ и охрану, безопасность, RISC-V и FPGA приложения, — говорит доктор Рави Субраманиан (Ravi Subramanian), старший вице-президент отдела верификации ИС подразделения Siemens Digital Industries Software. — Этот шаг позволит „Сименс“ гарантировать заказчикам уверенность в платформе верификации (моделирование, формальный процессы, эмуляция и создание опытных образцов), а также ускорить процессы верификации, автоматизации и отладки». Автоматизированные приложения играют все большую роль — они дополняют традиционные подходы и способствуют ...
читать далее.