AMD, AdaCore и Infineon внедряют ИИ-агентов в embedded-разработку

AMD представила агентную обвязку Ross для всего стека инструментов — от Vivado и Vitis до AI-средств Ryzen Embedded и ChipScope. AdaCore показала GNAT Foundry для генерации кода на Ada/SPARK с проверкой формальными методами, Infineon расширила ModusToolbox ИИ-ассистентом для VS Code.

• AMD Ross подключается к публичным и открытым моделям и работает поверх Vivado, Vitis и ChipScope
• AdaCore: ИИ переводит код на Ada в SPARK Silver, репозиторий навыков склонировали 250 раз
• Infineon добавила ИИ-ассистента в ModusToolbox для конфигурации микроконтроллеров
• Hermeling: фронтирные модели находят нарушения памяти в коде уровня ASIL-D