Panoramica
Controllo del design della catapulta
Catapult offre lint e analisi formali per convalidare la correttezza dei progetti C++/SystemC prima della sintesi. Evita i problemi di progettazione associati a letture di memoria non inizializzate, accessi fuori limite agli array, istruzioni switch incomplete e problemi di QoR che possono verificarsi durante la codifica per HLS.
La verifica in C++ riduce i costi fino all'80%
Lint formale e statico per C++/SystemC
Catapult Design Checker offre diverse modalità di controllo che eliminano la necessità di eseguire il debug dei problemi di progettazione basato sulla simulazione. I problemi di codifica, i problemi QoR e le potenziali discrepanze e ambiguità da C++/SystemC a RTL vengono rilevati rapidamente fornendo un feedback esatto sulla fonte e sulla causa.
Static Lint per QoR
Trovare problemi comuni nella codifica prima della sintesi è facile con Catapult Design Checker.
Concentrati su problemi specifici
Catapult Design Checker consente all'utente di personalizzare e dare priorità ai controlli per concentrarsi sui problemi urgenti riducendo al contempo il rumore causato da problemi già noti.
Sei pronto a parlare di Design Checker?
Per qualsiasi domanda tu possa avere, avremo le risposte!
Formazione Catapult su richiesta
La libreria di formazione su richiesta 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.
Gruppo di sintesi e 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.
Libre HLS
Un set di librerie gratuito e aperto implementato in C++ standard per la progettazione hardware e software con precisione di bit. È una comunità aperta per lo scambio di conoscenze e IP per HLS che può essere utilizzata per accelerare sia la ricerca che la progettazione.
Blog di progettazione e verifica HLS
Blog che tratta le metodologie e le tecniche di progettazione e verifica di nuova generazione di sintesi di alto livello (HLS).
Supporto per catapulte
Accedi a documentazione dettagliata, versioni, risorse e altro ancora.
Consulenza EDA
Ti aiutiamo 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.