Когато дизайнерите преместват описания на високо ниво в RTL или правят оптимизации на мощността към RTL, те трябва да знаят дали резултатът е функционално еквивалентен на оригинала. Двигателите SLEC предоставят решения за ръчен синтез на високо ниво (генериран от катапулт) и оптимизирана за мощност проверка на RTL еквивалентността.
Съчетан с редица най-добри в класа двигатели, този мощен подход за проверка позволява лов на бъгове, гранични проверки и пълнозащитни стратегии. SLEC е проектиран да допълва типичната проверка, базирана на симулация, и е интегриран с инструменти за отстраняване на грешки като Siemens EDA Visualizer за разбиране на фалшификациите.
За най-трудните предизвикателства за ръчна формална проверка, включващи сложни внедрявания в ръчно кодиран RTL. SLEC-системата предоставя възможности, позволяващи официално доказване на дизайнерски блокове, толкова предизвикателни като двойно прецизно умножение с плаваща точка, многодобавяне и други проблеми, които просто не могат да бъдат изчерпателно симулирани в RTL.
Библиотеката за training по заявка Catapult High-Level Synthesis (HLS) съдържа набор от учебни пътища с модули за запознаване на инженерите с HLS и проверката на високо ниво.
Група за обсъждане на по-фините точки на проектиране и проверка с помощта на инструментите на Siemens EDA HLS и HLV. Присъединете се към дискусията по нови теми, функции, съдържание и технически експерти.
Безплатен и отворен набор от библиотеки, внедрени в стандартен C ++ за битово точен хардуерен и софтуерен дизайн. Това е отворена общност за обмен на знания и IP за HLS, която може да се използва за ускоряване както на изследванията, така и за проектиране.
Блог, обхващащ методологии и техники за проектиране и проверка на синтез на високо ниво (HLS) от следващо поколение.
Достъп до подробна документация, издания, ресурси и др.
Помага ви да постигнете максимално въздействие върху бизнеса чрез справяне със сложни технологични и корпоративни предизвикателства с уникална комбинация от опит в развитието и дизайна и експертиза по методологията.