Catapult HLS

Catapult Physical Main Screen Shot 640x480.png

Приложение Catapult HLS предназначено для создания проектов SoC на уровне стандартного описания ANSI C++ и SystemC и их последующей реализации на уровне RTL.

Catapult HLS выполняет автоматический синтез RTL на основе высокоуровневого описания, что существенно упрощает и ускоряет процесс проектирования и позволяет получить корректный RTL код, снижая последующие затраты на его верификацию. Catapult HLS также имеет встроенный формальный контроль выражений на C/C++ и SystemC, что позволяет верифицировать исходный код до передачи его на этап синтеза.

Встроенный механизм оптимизации потребляемой мощности существенно сокращает ее потребление в динамическом режиме работы объекта. Высоко интерактивный интерфейс обеспечивает полную прозрачность и управляемость процессом синтеза, что позволяет быстро получить RTL код, оптимизированный по производительности, потребляемой мощности и площади кристалла.

Основные преимущества и характеристики

  • Синтез исходного описания на SystemC и ANSI C++
  • Экономия до 80% “ручного” написания корректного кода RTL, что также сокращает время верификации и отладки
  • За счет быстрого моделирования на системном уровне (в 100-1000 раз быстрее) сокращается время функциональной верификации проекта
  • RTL код на выходе Catapult HLS уже оптимизирован по производительности, потребляемой мощности, площади кристалла и времени на дальнейшую функциональную верификацию.

Синтез C/C++/SystemC

На основе стандартного высокоуровневого описания проекта на C/C++/SystemC автоматически синтезирует оптимизированный RTL код, существенно сокращая время на проектирование и функциональную верификацию.

Верификация на системном уровне

Catapult HLS реализует следующие процедуры верификации:

  • Автоматический формальный контроль корректности выражений C/C++/SystemC устраняет возможные ошибки еще до этапа синтеза
  • Сравнение результатов моделирования на системном и RTL уровне, включая метрику полноты функционального покрытия и моделирования ассертов
  • Формальный контроль эквивалентности исходного C/C++/SystemC кода и RTL кода на выходе синтеза

Оптимизация потребляемой мощности

Единственное в индустрии решение, которое позволяет оптимизировать мощность на системном уровне. Используя уникальную технологию анализа и оптимизации мощности на системном уровне, обеспечивает возможность выбора варианта с низкой потребляемой мощностью, не потеряв при этом по показателям производительности и площади кристалла.

Скачать описание продукта