MIPS будет использовать оптимизацию проектирования Apex в сочетании со своим подходом к разработке на основе рабочих нагрузок и соответствующим программным обеспечением.
По данным Xcelsa, Apex объединяет два компонента: стек верифицированного интеллекта и стек физического интеллекта.
Первый предназначен для проверки, посредством формальной эквивалентности, того, что изменения, внесенные в процессе оптимизации, сохраняют функциональное поведение эталонного проекта.
Второй анализирует физические последствия предлагаемых изменений. Xcelsa отмечает, что эта возможность позволяет анализировать эти эффекты без использования инструментов EDA в процессе разработки.
По словам компаний, платформа позволяет изучать тысячи вариантов дизайна с целью оптимизации параметров энергопотребления, производительности и площади (PPA).
MIPS и Xcelsa представляют конкретный результат, полученный в ходе работы над проектом MIPS для промышленного применения.
В этом тесте Apex устранила ошибку синхронизации в блоке загрузки-сохранения.
По данным компаний, платформа устранила ошибку менее чем за три часа и достигла 33%-ного сокращения задержки критического пути.
Оптимизация включала переписывание значительной части проектного блока. Впоследствии результат прошел формальную верификацию, которая определила его функциональную эквивалентность эталонному проекту. Это 33%-ное сокращение соответствует данному конкретному маршруту и данному конкретному случаю.
По оценкам MIPS, выполнение аналогичной работы вручную заняло бы примерно месяц рабочего времени инженера.
Одной из ключевых особенностей платформы является сочетание автоматической модификации проекта и формальной проверки эквивалентности.
В приведенном примере Apex модифицировал блок схемы для решения проблемы синхронизации, а полученный проект был затем формально проверен на сохранение функционального поведения оригинала.
Это позволяет нам разделить две разные цели: улучшение определенных параметров реализации и проверку того, что внесенные преобразования не изменили функциональность, которую предполагается сохранить.
MIPS рассматривает это сотрудничество в рамках своей стратегии платформ, ориентированных на конкретные рабочие нагрузки.
Такой подход предполагает увязку требований к программному обеспечению с архитектурой оборудования и решениями по реализации. В таких приложениях, как автомобильная промышленность, робототехника или промышленное управление, могут быть задействованы такие параметры, как детерминированная производительность, энергопотребление, отклик в реальном времени и требования к функциональной безопасности.
Добавление Apex призвано расширить количество альтернативных вариантов, которые можно исследовать в ходе итераций проектирования и оптимизации.
Применение в области искусственного интеллекта, автомобильной промышленности и робототехники:
MIPS и Xcelsa направляют свое сотрудничество на разработку специализированных микросхем для ИИ, автомобильной промышленности, аэрокосмической отрасли, промышленного применения, робототехники, коммуникационной инфраструктуры и других встроенных систем.
MIPS также связывает это соглашение со своей платформенной стратегией для физического ИИ — термина, используемого для обозначения систем искусственного интеллекта, взаимодействующих с физической средой.
Альянс расширяет экосистему MIPS за счет возможностей оптимизации Xcelsa, но в объявлении не упоминаются новые процессоры, коммерческие ASIC или совместно разработанные физические устройства.
