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