Огляд
Перевірка дизайну катапульти
Catapult приносить ворсовий та формальний аналіз, щоб перевірити правильність ваших конструкцій C++/SystemC перед синтезом. Уникайте проблем з проектуванням, пов'язаних із неініціалізованим читанням пам'яті, доступом поза зв'язаним масивом, неповними операторами switch та проблемами QoR, які можуть виникнути під час кодування для HLS.
Перевірка на C++ скорочує витрати до 80%
Формальні та статичні ворсинки для C++/SystemC
Catapult Design Checker забезпечує кілька режимів перевірки, які усувають необхідність налагодження проблем у вашому дизайні на основі моделювання. Проблеми з кодуванням, проблеми QoR та потенційні невідповідності та неоднозначності C++/SystemC до RTL швидко виявляються, надаючи точний зворотний зв'язок щодо джерела та причини.
Статичні ворсинки для QoR
Знайти поширені проблеми в кодуванні перед синтезом легко за допомогою Catapult Design Checker.
Зосередьтеся на конкретних проблемах
Catapult Design Checker дозволяє користувачеві налаштовувати та визначити пріоритети перевірок, щоб зосередитися на нагальних проблемах, зменшуючи шум від вже відомих проблем.
Навчання катапульти на вимогу
Навчальна бібліотека Catapult High-Level Synthesis (HLS) на вимогу містить набір навчальних шляхів з модулями для ознайомлення інженерів з HLS та верифікацією високого рівня.
Група синтезу та перевірки високого рівня
Група для обговорення тонких моментів проектування та перевірки за допомогою інструментів Siemens EDA HLS та HLV. Приєднуйтесь до обговорення нових тем, функцій, контенту та технічних експертів.
HLSLIB
Вільний і відкритий набір бібліотек, реалізованих у стандартному C++ для бітової точної розробки апаратного та програмного забезпечення. Це відкрита спільнота для обміну знаннями та інтелектуальною власністю для HLS, яка може бути використана для прискорення як досліджень, так і дизайну.
Блог про проектування та перевірку HLS
Блог, що охоплює методології та методи проектування та перевірки синтезу високого рівня наступного покоління (HLS).
Підтримка катапульти
Доступ до детальної документації, випусків, ресурсів тощо.
EDA консалтинг
Допомагаючи вам досягти максимального впливу на бізнес, вирішуючи складні технологічні та корпоративні виклики за допомогою унікального поєднання досвіду розробки та дизайну та досвіду методології.