Panoramica
Catapult Design Checker
Catapult apporta lint e analisi formali per convalidare la correttezza dei suoi 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 del suo progetto basato sulla simulazione. I problemi di codifica, i problemi QoR e le potenziali discrepanze e ambiguità da C++/SystemC a RTL vengono rilevati rapidamente mentre forniscono un feedback esatto sulla fonte e sulla causa.
Static Lint per QoR
Trovare problemi comuni nella codifica prima di Synthesis è facile con Catapult Design Checker.
Concentrarsi 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 dovuto a problemi già noti.
Pronto a parlare di Design Checker?
Per qualsiasi domanda, 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.
HLS Libs
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 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
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.