Le app incentrate su HL sono compatibili con i plug-in con i flussi RTL e i principi UVM esistenti, destinati a:
Catapult Design Checker offre diverse modalità di controllo statico e formale con pulsanti che riducono la necessità di una verifica basata sulla simulazione del suo progetto. I problemi di codifica, le ambiguità nell'origine del design, i problemi di QoR e le fonti di potenziali discrepanze tra HLS C++/SystemC e RTL vengono rilevati rapidamente e viene fornito un feedback sulla fonte e sulla causa.
Catapult Formal Assert è un'app di verifica formale integrata con Catapult HLS. Le asserzioni scritte in C-Source saranno valutate con potenti risolutori formali che forniscono risposte rapide, timeout e strategie di risoluzione configurabili e un solido ambiente di debug. Affermare, supporre e copertina sono supportati. I controesempi creano un testbench di livello C e impostazioni gdb predefinite, nonché un debugger grafico di forme d'onda Visualizer di SEDA.
La libreria di training on demand Catapult High-Level Synthesis (HLS) contiene una serie di percorsi di apprendimento con moduli per introdurre gli ingegneri all'HLS e alla verifica di alto livello.
Un gruppo per discutere i punti più fini della progettazione e della verifica utilizzando gli strumenti Siemens EDA HLS e HLV. Partecipa alla discussione su nuovi argomenti, funzionalità, contenuti ed esperti tecnici.
Un set di librerie gratuito e aperto implementato in C++ standard per una progettazione hardware e software con precisione di bit. È una comunità aperta per lo scambio di conoscenze e proprietà intellettuale per HLS che può essere utilizzata per accelerare sia la ricerca che la progettazione.
Blog che tratta le metodologie e le tecniche di progettazione e verifica di nuova generazione di sintesi di alto livello (HLS).
Accedi a documentazione dettagliata, versioni, risorse e altro ancora.
Aiutarla a ottenere il massimo impatto aziendale affrontando complesse sfide tecnologiche e aziendali con una combinazione unica di esperienza di sviluppo e progettazione e competenza metodologica.
