Коли дизайнери переміщують описи високого рівня в RTL або роблять оптимізацію потужності до RTL, вони повинні знати, чи результат функціонально еквівалентний оригіналу. Двигуни SLEC забезпечують рішення для ручного синтезу високого рівня (генерується катапультою) та оптимізованої потужності перевірки еквівалентності RTL.
У поєднанні з рядом найкращих у своєму класі двигунів цей потужний підхід до перевірки дозволяє шукати помилки, обмежену перевірку та стратегії повного захисту. SLEC розроблений для доповнення типової перевірки на основі моделювання, і він інтегрований з інструментами налагодження, такими як Siemens EDA Visualizer для розуміння фальсифікацій.
Для найскладніших завдань ручної формальної перевірки, що включають складні реалізації в ручному кодованому RTL. SLEC-система надає можливості, що дозволяють формально підтвердити конструктивні блоки настільки складних, як подвійне точне множення з плаваючою комою, багаторазове додавання та інші проблеми, які просто неможливо вичерпно змоделювати в RTL.
Навчальна бібліотека Catapult High-Level Synthesis (HLS) на вимогу містить набір навчальних шляхів з модулями для ознайомлення інженерів з HLS та верифікацією високого рівня.
Група для обговорення тонких моментів проектування та перевірки за допомогою інструментів Siemens EDA HLS та HLV. Приєднуйтесь до обговорення нових тем, функцій, контенту та технічних експертів.
Вільний і відкритий набір бібліотек, реалізованих у стандартному C++ для бітової точної розробки апаратного та програмного забезпечення. Це відкрита спільнота для обміну знаннями та інтелектуальною власністю для HLS, яка може бути використана для прискорення як досліджень, так і дизайну.
Блог, що охоплює методології та методи проектування та перевірки синтезу високого рівня наступного покоління (HLS).
Доступ до детальної документації, випусків, ресурсів тощо.
Допомагаючи вам досягти максимального впливу на бізнес, вирішуючи складні технологічні та корпоративні виклики за допомогою унікального поєднання досвіду розробки та дизайну та досвіду методології.