Програми, орієнтовані на HL, сумісні з існуючими потоками RTL та принципами UVM, орієнтуючись на:
Catapult Design Checker забезпечує кілька режимів статичної та формальної перевірки кнопками, які зменшують потребу в перевірці вашого дизайну на основі моделювання. Проблеми з кодуванням, неоднозначності джерела дизайну, проблеми QoR та джерела потенційних невідповідностей HLS C++/SystemC до RTL швидко виявляються та надається зворотний зв'язок щодо джерела та причини.
Catapult Formal Assert - це офіційний додаток для перевірки, інтегрований з Catapult HLS. Твердження, написані в C-Source, будуть оцінюватися за допомогою потужних формальних вирішувачів, які забезпечують швидку відповідь, настроювані тайм-аути та стратегії вирішення, а також надійне середовище налагодження. стверджувати, припускати і обкладинка підтримуються. Контрприклади створюють тестовий стенд рівня C та налаштування gdb за замовчуванням, а також графічний налагоджувач форми сигналу SEDA Visualizer.
Навчальна бібліотека Catapult High-Level Synthesis (HLS) на вимогу містить набір навчальних шляхів з модулями для ознайомлення інженерів з HLS та верифікацією високого рівня.
Група для обговорення тонких моментів проектування та перевірки за допомогою інструментів Siemens EDA HLS та HLV. Приєднуйтесь до обговорення нових тем, функцій, контенту та технічних експертів.
Вільний і відкритий набір бібліотек, реалізованих у стандартному C++ для бітової точної розробки апаратного та програмного забезпечення. Це відкрита спільнота для обміну знаннями та інтелектуальною власністю для HLS, яка може бути використана для прискорення як досліджень, так і дизайну.
Блог, що охоплює методології та методи проектування та перевірки синтезу високого рівня наступного покоління (HLS).
Доступ до детальної документації, випусків, ресурсів тощо.
Допомагаючи вам досягти максимального впливу на бізнес, вирішуючи складні технологічні та корпоративні виклики за допомогою унікального поєднання досвіду розробки та дизайну та досвіду методології.
