Skip to main content
Тази страница се показва с помощта на автоматизиран превод. Вместо това вижте на английски?

Общ преглед

Проверка на дизайна на катапулт

Catapult носи мъх и формален анализ, за да потвърди коректността на вашите C++/SystemC дизайни преди синтеза. Избягвайте проблеми с дизайна, свързани с неинициализирано четене на паметта, достъп извън обвързан масив, непълни заявления за превключване и проблеми с QoR, които могат да възникнат при кодиране за HLS.


Проверката на C++ намалява разходите с до 80%

промоция за проверка на дизайна на катапулт
КЛЮЧОВИ ХАРАКТЕРИСТИКИ

Официален и статичен линт за C++/SystemC

Catapult Design Checker предоставя множество режими на проверка, които премахват необходимостта от отстраняване на грешки, базирани на симулация, проблеми във вашия дизайн. Проблемите с кодирането, проблемите с QoR и потенциалните несъответствия и неясноти от C++/SystemC към RTL се улавят бързо, давайки точна обратна връзка относно източника и причината.

НАМИРАНЕ НА ПРОБЛЕМИ С QOR

Статичен линт за QoR

Намирането на често срещани проблеми при кодирането преди синтеза е лесно с Catapult Design Checker.

статичен мъх за QoR поток: Намирането на често срещани проблеми при кодирането преди синтеза е лесно с Catapult Design Checker.
Персонализиран режим на проверка

Съсредоточете се върху специфични проблеми

Catapult Design Checker позволява на потребителя да персонализира и дава приоритет на проверките, за да се съсредоточи върху належащи проблеми, като същевременно намалява шума от вече известни проблеми.

Диаграма на блок-схема, показваща стъпки за персонализиран процес на проверка със стрелки, свързващи различни форми и текстови елементи.

Готови ли сте да проведете разговор за Design Checker?

Всички въпроси, които може да имате, ние ще имаме отговорите!

subject=Катапулт%20дизайн%20проверка%20запитване%20> Изпратете ни имейл

Обучение по катапулт при поискване

Библиотеката за обучение по заявка Catapult High-Level Synthesis (HLS) съдържа набор от учебни пътища с модули за запознаване на инженерите с HLS и проверката на високо ниво.

Група за синтез и проверка на високо ниво

Група за обсъждане на по-фините точки на проектиране и проверка с помощта на инструментите на Siemens EDA HLS и HLV. Присъединете се към дискусията по нови теми, функции, съдържание и технически експерти.

ХЛСлибове

Безплатен и отворен набор от библиотеки, внедрени в стандартен C ++ за битово точен хардуерен и софтуерен дизайн. Това е отворена общност за обмен на знания и IP за HLS, която може да се използва за ускоряване както на изследванията, така и за проектиране.

Икона със синя водна капка и бял контур на книга.

Блог за дизайн и проверка на HLS

Блог, обхващащ методологии и техники за проектиране и проверка на синтез на високо ниво (HLS) от следващо поколение.

Слушалки

Поддръжка на катапулт

Достъп до подробна документация, издания, ресурси и др.

ЕДА консултации

Помага ви да постигнете максимално въздействие върху бизнеса чрез справяне със сложни технологични и корпоративни предизвикателства с уникална комбинация от опит в развитието и дизайна и експертиза по методологията.