Це платна прес-реліз. Зв’яжіться безпосередньо з дистриб’ютором прес-релізів для будь-яких запитань.

Real Intent оголошує Conquest MAI — підписання цілісності мікроархітектури

Real Intent

Середа, 25 лютого 2026, 02:03 за японським часом 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, незалежно від стилю кодування або деталей реалізації RTL. Приклади включають:

Схеми SFC

 

*    
    
    Функціональні блоки з з’єднаннями та керуючими зв’язками
    
     
*    
    
    Традиційні схематичні зображення внутрішньої структури SFC  

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

Переглядач SFC, що показує релевантні характеристики (наприклад, такти, скидання…)  

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

Для отримання додаткової інформації відвідайте Conquest MAI — підписання цілісності мікроархітектури

Про Real Intent

Real Intent надає інструменти статичного підписання на основі наміру для прискорення процесу «зміщення вліво» у передовій функціональній верифікації цифрових проектів. Його можливості включають RTL linting, перехід через тактові домени, перехід через скидання, цілісність мікроархітектури, DFT, апаратну безпеку та з’єднання й глюки. Клієнтами Real Intent є понад п’ятдесят провідних компаній у галузі напівпровідників і систем. Головний офіс компанії розташований за адресою: 932 Hamlin Court, Sunnyvale, CA. Для отримання додаткової інформації відвідайте www.realintent.com.

ЗВ’ЯЗКИ: прес-служба Глорія Нікольс LaunchM, Inc. gloria@launchm.com

Умови та політика конфіденційності

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

Детальніше