Приложенията, ориентирани към HL, са плъгини съвместими със съществуващите RTL потоци и UVM принципи, насочени към:
Catapult Design Checker предоставя множество статични и официални режими на проверка с бутон, които намаляват необходимостта от проверка на вашия дизайн, базирана на симулация. Проблемите с кодирането, неяснотите в източника на дизайна, опасенията за QoR и източниците на потенциални несъответствия от HLS C++/SystemC към RTL се улавят бързо и се предоставя обратна връзка относно източника и причината.
Catapult Formal Assert е официално приложение за проверка, интегрирано с Catapult HLS. Твърденията, написани в C-Source, ще бъдат оценени с мощни официални решители, които осигуряват бърза реакция, конфигурируеми таймове и стратегии за решаване и стабилна среда за отстраняване на грешки. Твърди, да предположим и покривало са подкрепени. Контрапримерите създават тестова маса на ниво C и gdb настройки по подразбиране, както и графичен дебъгер на формата на вълната на SEDA на Visualizer.
Библиотеката за training по заявка Catapult High-Level Synthesis (HLS) съдържа набор от учебни пътища с модули за запознаване на инженерите с HLS и проверката на високо ниво.
Група за обсъждане на по-фините точки на проектиране и проверка с помощта на инструментите на Siemens EDA HLS и HLV. Присъединете се към дискусията по нови теми, функции, съдържание и технически експерти.
Безплатен и отворен набор от библиотеки, внедрени в стандартен C ++ за битово точен хардуерен и софтуерен дизайн. Това е отворена общност за обмен на знания и IP за HLS, която може да се използва за ускоряване както на изследванията, така и за проектиране.
Блог, обхващащ методологии и техники за проектиране и проверка на синтез на високо ниво (HLS) от следващо поколение.
Достъп до подробна документация, издания, ресурси и др.
Помага ви да постигнете максимално въздействие върху бизнеса чрез справяне със сложни технологични и корпоративни предизвикателства с уникална комбинация от опит в развитието и дизайна и експертиза по методологията.
