Prezentare generală
Verificator de proiectare a catapultei
Catapult aduce scame și analize formale pentru a valida proiectele C++/SystemC pentru corectitudine înainte de sinteză. Evitați problemele de proiectare asociate cu citirile de memorie neinițializate, accesările în afara matricei legate, instrucțiuni de comutare incomplete și probleme QoR care pot apărea la codificarea pentru HLS.
Verificarea la C++ reduce costurile cu până la 80%
Scamă formală și statică pentru C ++/SystemC
Catapult Design Checker oferă mai multe moduri de verificare care elimină nevoia de depanare bazată pe simulare a problemelor din designul dvs. Problemele de codificare, problemele QoR și potențialele nepotriviri și ambiguități C++/SystemC la RTL sunt surprinse rapid oferind feedback exact cu privire la sursă și cauză.
Scamă statică pentru QoR
Găsirea problemelor comune în codificare înainte de sinteză este ușoară cu Catapult Design Checker.
Concentrați-vă pe probleme specifice
Catapult Design Checker permite utilizatorului să personalizeze și să acorde prioritate verificărilor pentru a se concentra asupra problemelor presante, reducând în același timp zgomotul de la problemele deja cunoscute.
Instruire la cerere pentru catapultă
Biblioteca de instruire la cerere Catapult High-Level Synthesis (HLS) conține un set de căi de învățare cu module pentru a introduce inginerii în HLS și verificarea la nivel înalt.
Grupul de sinteză și verificare la nivel înalt
Un grup pentru a discuta punctele mai fine de proiectare și verificare folosind instrumentele Siemens EDA HLS și HLV. Alăturați-vă discuției pe teme noi, caracteristici, conținut și experți tehnici.
HLSLIB-uri
Un set liber și deschis de biblioteci implementate în C ++ standard pentru proiectarea hardware și software cu precizie de biți. Este o comunitate deschisă pentru schimbul de cunoștințe și IP pentru HLS care poate fi utilizată pentru a accelera atât cercetarea, cât și proiectarea.
Blog de proiectare și verificare HLS
Blog care acoperă metodologiile și tehnicile de proiectare și verificare de sinteză la nivel înalt (HLS) de generație următoare.
Suport catapultă
Accesați documentație detaliată, versiuni, resurse și multe altele.
Consultanță EDA
Ajutându-vă să obțineți un impact maxim asupra afacerii prin abordarea provocărilor complexe de tehnologie și de întreprindere cu un amestec unic de experiență în dezvoltare și proiectare și expertiză metodologică.