Предоставляя лучшие в своем классе продукты и методологию проектирования высокого уровня, Siemens предлагает решения на разных этапах процесса проектирования. Проверка дизайна, кода и функционального охвата, а также формальная верификация для проверки эквивалентности C++ и SystemC.
Ускорьте процесс проверки высокого уровня (HLV) с помощью известных и надежных методов с использованием платформы Catapult HLV. Сократите общее время и затраты на проверку SoC до 80%, используя высокоуровневую проверку проекта, анализ кода и функций, а также статические и формальные методы.
В последние несколько лет использование HLS для проектирования микросхем резко возросло, что было вызвано растущей сложностью проектирования и проверки, а также временем, связанным с давлением рынка. Catapult HLS позволяет разработчикам быстрее выводить свои чипы на рынок за счет сокращения общего процесса проектирования и проверки.
