Общ преглед
Проверка на дизайна на катапулт
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 High-Level Synthesis (HLS) съдържа набор от учебни пътища с модули за запознаване на инженерите с HLS и проверката на високо ниво.
Група за синтез и проверка на високо ниво
Група за обсъждане на по-фините точки на проектиране и проверка с помощта на инструментите на Siemens EDA HLS и HLV. Присъединете се към дискусията по нови теми, функции, съдържание и технически експерти.
ХЛСлибове
Безплатен и отворен набор от библиотеки, внедрени в стандартен C ++ за битово точен хардуерен и софтуерен дизайн. Това е отворена общност за обмен на знания и IP за HLS, която може да се използва за ускоряване както на изследванията, така и за проектиране.
Блог за дизайн и проверка на HLS
Блог, обхващащ методологии и техники за проектиране и проверка на синтез на високо ниво (HLS) от следващо поколение.
Поддръжка на катапулт
Достъп до подробна документация, издания, ресурси и др.
ЕДА консултации
Помага ви да постигнете максимално въздействие върху бизнеса чрез справяне със сложни технологични и корпоративни предизвикателства с уникална комбинация от опит в развитието и дизайна и експертиза по методологията.