Apps gericht op HL zijn compatibel met plug-ins met bestaande RTL-stromen en UVM-principes, gericht op:
Catapult Design Checker biedt meerdere statische en formele controlemodi met drukknoppen die de noodzaak van verificatie van uw ontwerp op basis van simulatie verminderen. Coderingsproblemen, onduidelijkheden in de ontwerpbronnen, zorgen over QoR en bronnen van mogelijke mismatches tussen HLS C++/SystemC en RTL worden snel ontdekt en er wordt feedback gegeven over de bron en de oorzaak.
Catapult Formal Assert is een app voor formele verificatie die is geïntegreerd met Catapult HLS. Beweringen die in C-Source zijn geschreven, zullen worden geëvalueerd met krachtige formele oplossers die zorgen voor een snelle respons, configureerbare time-outs en oplossingsstrategieën, en een robuuste omgeving voor foutopsporing. Beweren, veronderstellen en dekmantel worden ondersteund. Tegenvoorbeelden creëren een testbank op C-niveau en standaard gdb-instellingen, evenals een grafische golfvormdebugger van SEDA Visualizer.
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.
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.
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 het ontwerp en de verificatiemethoden en -technieken van de volgende generatie voor synthese op hoog niveau (HLS).
Bekijk gedetailleerde documentatie, publicaties, bronnen en meer.
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.
