Обзор
Проверка конструкции катапульты
Catapult предлагает линтовый и формальный анализ для проверки правильности ваших проектов C++/SystemC перед синтезом. Избегайте проблем проектирования, связанных с неинициализированным чтением памяти, доступом к массивам за пределами границ, неполными операторами переключения и проблемами QoR, которые могут возникнуть при написании кода для HLS.
Верификация на языке C++ сокращает расходы до 80%
Формальный и статический линт для C ++/SystemC
Catapult Design Checker предоставляет несколько режимов проверки, которые устраняют необходимость отладки проблем в вашем проекте на основе моделирования. Проблемы с кодированием, QoR, а также потенциальные несоответствия и неоднозначности в C++/SystemC и RTL быстро обнаруживаются, что позволяет точно определить источник и причину.
Статический линт для QoR
помощью Catapult Design Checker легко найти распространенные проблемы при программировании до синтеза.
Сосредоточьтесь на конкретных проблемах
Catapult Design Checker позволяет пользователю настраивать и приоритизировать проверки, чтобы сосредоточиться на насущных проблемах и одновременно снизить уровень шума от уже известных проблем.
Готовы поговорить о Design Checker?
любые ваши вопросы мы ответим!
Обучение катапульте по запросу
Учебная библиотека Catapult Highlevel-Synthesis (HLS) по запросу содержит набор учебных программ с модулями для ознакомления инженеров с HLS и верификацией высокого уровня.
Группа высокого уровня по синтезу и проверке
Группа для обсуждения тонкостей проектирования и проверки с использованием инструментов Siemens EDA HLS и HLV. Присоединяйтесь к обсуждению новых тем, функций, контента и технических экспертов.
Libs HLibs
Бесплатный и открытый набор библиотек, реализованных на стандартном языке C++ для проектирования аппаратного и программного обеспечения с побитовой точностью. Это открытое сообщество для обмена знаниями и интеллектуальной собственностью для HLS, которое можно использовать для ускорения исследований и проектирования.
Блог по проектированию и верификации HLS
Блог, посвященный методологиям и методам проектирования и проверки высокоуровневого синтеза (HLS) нового поколения.
Поддержка катапульты
Получите доступ к подробной документации, релизам, ресурсам и многому другому.
Консультации по EDA
Помогаем вам достичь максимального эффекта для бизнеса за счет решения сложных технологических и корпоративных задач с помощью уникального сочетания опыта разработки и проектирования и методологических знаний.