Overzicht
Checker voor het ontwerpen van katapulten
Catapult biedt pluis- en formele analyses om uw C++/SystemC-ontwerpen vóór de synthese te valideren op juistheid. Voorkom ontwerpproblemen die verband houden met niet-geïnitialiseerde geheugenmetingen, toegang tot de array buiten bereik, onvolledige switchinstructies en QoR-problemen die kunnen optreden bij het coderen voor HLS.
Verificatie in de C++ verlaagt de kosten met wel 80%
Formeel en statisch lint voor C++/systemC
Catapult Design Checker biedt meerdere controlemodi waardoor het niet meer nodig is om problemen in uw ontwerp op basis van simulaties op te sporen. Coderingsproblemen, QoR-problemen en mogelijke mismatches en onduidelijkheden tussen C++/SystemC en RTL worden snel opgemerkt en geven exacte feedback over de bron en de oorzaak.
Static Lint voor QoR
Met Catapult Design Checker is het eenvoudig om veelvoorkomende problemen bij het coderen vóór de synthese te vinden.
Concentreer u op specifieke problemen
Met Catapult Design Checker kan de gebruiker controles aanpassen en prioriteren om zich te concentreren op urgente problemen en tegelijkertijd de ruis als gevolg van reeds bekende problemen te verminderen.
Klaar voor een gesprek over Design Checker?
Hebt u nog vragen, wij hebben de antwoorden!
Training op aanvraag voor katapult
De Catapult High-Level Synthesis (HLS) trainingsbibliotheek op aanvraag bevat een reeks leertrajecten met modules om ingenieurs kennis te laten maken met HLS en verificatie op hoog niveau.
Synthese- en verificatiegroep op hoog niveau
Een groep die de fijne kneepjes van ontwerp en verificatie bespreekt met behulp van Siemens EDA HLS- en HLV-tools. Neem deel aan de discussie over nieuwe onderwerpen, functies, inhoud en technische experts.
HLS Libs
Een gratis en open set bibliotheken geïmplementeerd in standaard C++ voor bitnauwkeurig hardware- en softwareontwerp. Het is een open gemeenschap voor de uitwisseling van kennis en IP voor HLS die kan worden gebruikt om zowel onderzoek als ontwerp te versnellen.
Blog over ontwerp en verificatie van HLS
Blog over het ontwerp en de verificatiemethoden en -technieken van de volgende generatie voor synthese op hoog niveau (HLS).
Ondersteuning voor katapulten
Bekijk gedetailleerde documentatie, publicaties, bronnen en meer.
EDA-advies
Wij helpen u maximale zakelijke impact te bereiken door complexe technologische en zakelijke uitdagingen aan te pakken met een unieke combinatie van ontwikkelings- en ontwerpervaring en methodologische expertise.