Это платное пресс-релиз. Свяжитесь напрямую с распространителем пресс-релизов по любым вопросам.

Real Intent объявляет о Conquest MAI — Sign-Off микросхемной целостности

Real Intent

Ср, 25 февраля 2026 г., 02:03 по Гринвичу+9 3 мин чтения

Real Intent

Автоматически выявляет и проверяет стандартные функциональные компоненты (SFC) по иерархии во время RTL-проектирования

САННИВАЛЕ, Калифорния, 24 февраля 2026 г. (GLOBE NEWSWIRE) — Компания Real Intent, Inc. объявила о запуске Conquest MAI, первого в отрасли инструмента для подтверждения микросхемной целостности. Conquest MAI автоматически выявляет стандартные функциональные компоненты (SFC) по иерархии проекта и выполняет локальные проверки целостности.

Его расширенные возможности отладки, включая диаграммы FSM и схемы функциональных блоков SFC, поддерживают глубокое понимание и исследование проекта на протяжении всего процесса верификации. Быстрая настройка и высокая производительность Conquest MAI делают возможным включение подтверждения микросхемной целостности в процесс утверждения RTL.

Минимально Boolean: обеспечение подтверждения MAI во время утверждения RTL

Методологии моделирования и формальной верификации в значительной степени зависят от анализа Boolean, что накладывает существенные ограничения. Формальная верификация медленная и ограничена по емкости, что мешает полномасштабному анализу, тогда как моделирование непрактично из-за большого объема тестовых сценариев и циклов верификации, необходимых для подтверждения микросхемной целостности.

Conquest MAI минимально зависит от методов Boolean. Он в основном использует абстрактные методы проверки и анализ, специфичный для задач, избегая полного решения состояния Boolean. В результате Conquest MAI:

Работает в 10-100 раз быстрее формальных методов, анализируя миллион вентилей за минуты

Полностью охватывает проекты с миллиардами вентилей за часы, без черных ящиков  

Это сочетание позволяет инженерам включать подтверждение микросхемной целостности как часть утверждения RTL.

Вывод функционального намерения для идентификации SFC

Ключевым в Conquest MAI является его способность напрямую выводить функциональное намерение из RTL для автоматического определения SFC, таких как FSM, FIFO, счетчики, сдвиговые регистры и память. Он анализирует поведение логики, чтобы понять, что реализует проект, а не полагается на синтаксические шаблоны или соглашения об именовании.

Интеллектуальный вывод Conquest MAI включает:

Не зависит от стиля кодирования — определяет SFC независимо от синтаксиса RTL или соглашений об именах

Пересекает иерархии — распознает компоненты даже при распределении функциональности по иерархии проекта

Семантический, а не синтаксический — выявляет SFC, встроенные внутри других SFC, и обнаруживает повторяющиеся SFC, созданные с помощью массивов и конструкций генерации  

Это создает основу для применения правил, специфичных для SFC, необходимых для подтверждения микросхемной целостности.

Проверки микросхемной целостности

После автоматического выявления SFC, проектировщики могут запускать проверки микросхемной целостности. Примеры проверок:

Продолжение истории  

Расстояние Хэмминга/вес состояния FSM — подтверждение, что кодировки состояний FSM соответствуют минимальному расстоянию Хэмминга и требованиям веса для обнаружения ошибок при случайных сбоях битов.

Переполнение и недополнение FIFO — проверка, что логика управления FIFO предотвращает запись при полном состоянии и чтение при пустом, избегая потери данных или возврата недопустимых данных.​

Использование счетчика вне диапазона — сообщение, если счетчик сравнивается с значениями за пределами допустимого диапазона.

Одновременная запись в RAM — проверка, что RAM с несколькими портами записи не имеет пересекающихся диапазонов адресов записи.  

Визуализация выявленных SFC для отладки

Conquest MAI использует анализ предполагаемого поведения для генерации визуализаций, показывающих структуру и поведение каждого SFC, независимо от стиля кодирования или деталей реализации. Примеры включают:

Схемы SFC

 

*    
    
    Функциональные блоки с связями и управляющими отношениями
    
     
*    
    
    Традиционные схемы внутренней структуры SFC  

Диаграммы FSM с состояниями, переходами, сбросами и условиями, такими как петли или недостижимые пути.​

Просмотрщик SFC, показывающий важные характеристики (например, такты, сбросы…)  

Эти графические представления ускоряют отладку, способствуют глубокому пониманию проекта и позволяют быстрее выявлять причины микросхемных проблем.

Для получения дополнительной информации посетите Conquest MAI — Sign-Off микросхемной целостности

О компании Real Intent

Real Intent предоставляет инструменты статической верификации на основе намерений для ускорения процесса «слева» в передовой функциональной проверке цифровых проектов. Среди возможностей его продуктов — RTL linting, пересечения тактовых доменов, сбросовых доменов, микросхемная целостность, DFT, безопасность аппаратного обеспечения и проверка связности и помех. Клиентами Real Intent являются более пятидесяти ведущих компаний в области полупроводников и систем. Штаб-квартира компании находится по адресу 932 Hamlin Court, Sunnyvale, CA. Подробнее на сайте www.realintent.com.

КОНТАКТ: Медиа-контакт Глория Николс LaunchM, Inc. gloria@launchm.com

Условия и Политика конфиденциальности

Панель управления конфиденциальностью

Подробнее