Overzicht
Katapult-ontwerpcontrole
Catapult biedt pluis- en formele analyses om uw C++/SystemC-ontwerpen te valideren op juistheid vóór de synthese. Voorkom ontwerpproblemen die verband houden met niet-geïnitialiseerde geheugenmetingen, toegang tot een 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 dubbelzinnigheden 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.
Focus 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 van reeds bekende problemen te verminderen.
Catapult training op aanvraag
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 om de fijne kneepjes van ontwerp en verificatie te bespreken met behulp van Siemens EDA HLS- en HLV-tools. Praat mee 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 ontwerp- en verificatiemethoden en -technieken voor synthese op hoog niveau (HLS) van de volgende generatie.
Katapult-ondersteuning
Krijg toegang tot gedetailleerde documentatie, releases, bronnen en meer.
EDA-advies
We 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.