Приложения, ориентированные на HL, совместимы с существующими потоками RTL и принципами UVM и нацелены на:
Catapult Design Checker предоставляет несколько кнопочных статических и формальных режимов проверки, которые уменьшают необходимость проверки вашей конструкции на основе моделирования. Проблемы с кодированием, неоднозначность исходного кода проекта, проблемы с качеством обслуживания и источники потенциальных несоответствий HLS C++/SystemC и RTL быстро обнаруживаются, и предоставляется обратная связь об источнике и причине.
Catapult Formal Assert — это приложение для формальной проверки, интегрированное с Catapult HLS. Утверждения, написанные на языке C-Source, будут оцениваться с помощью мощных формальных решателей, обеспечивающих быстрый отклик, настраиваемые тайм-ауты и стратегии решения, а также надежную среду отладки. Утверждать, предполагать а также покрытие поддерживаются. Контрпримеры создают тестовый стенд уровня C и настройки gdb по умолчанию, а также графический отладчик осциллограмм SEDA Visualizer.
Учебная библиотека Catapult Highlevel-Synthesis (HLS) по запросу содержит набор учебных программ с модулями для ознакомления инженеров с HLS и верификацией высокого уровня.
Группа для обсуждения тонкостей проектирования и проверки с использованием инструментов Siemens EDA HLS и HLV. Присоединяйтесь к обсуждению новых тем, функций, контента и технических экспертов.
Бесплатный и открытый набор библиотек, реализованных на стандартном языке C++ для проектирования аппаратного и программного обеспечения с побитовой точностью. Это открытое сообщество для обмена знаниями и интеллектуальной собственностью для HLS, которое можно использовать для ускорения исследований и проектирования.
Блог, посвященный методологиям и методам проектирования и проверки высокоуровневого синтеза (HLS) нового поколения.
Получите доступ к подробной документации, релизам, ресурсам и многому другому.
Помогаем вам достичь максимального эффекта для бизнеса за счет решения сложных технологических и корпоративных задач с помощью уникального сочетания опыта разработки и проектирования и методологических знаний.
