Verificați formal corectitudinea modelelor RTL vs High-Level scrise de mână în C ++ sau SystemC folosind verificarea echivalenței logice secvențiale. Chiar și cu diferențe de limbaj, sincronizare și interfețe, SLEC-System verifică RTL manual cu C ++/SystemC dovedind echivalența între C ++ și RTL.
Când designerii mută descrieri la nivel înalt în RTL sau fac optimizări de putere în RTL, trebuie să știe dacă rezultatul este echivalent funcțional cu originalul. Motoarele SLEC oferă soluții pentru verificarea echivalenței RTL manuală, de nivel înalt (generată de catapulte) și optimizată de putere.
Împreună cu o gamă de motoare de cele mai bune din clasă, această abordare puternică de verificare permite vânătoarea de erori, verificarea limitată și strategii complete de protecție. SLEC este conceput pentru a completa verificarea tipică bazată pe simulare și este integrat cu instrumente de depanare precum Siemens EDA Visualizer pentru înțelegerea falsificărilor.
Pentru cele mai dificile provocări de verificare formală manuală care implică implementări complexe în RTL codificat manual. Sistemul SLEC oferă capabilități care permit dovada formală a blocurilor de proiectare la fel de provocatoare precum multiplicarea cu virgulă mobilă de precizie dublă, adăugarea multiplă și alte probleme care pur și simplu nu pot fi simulate exhaustiv în RTL.
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.
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.
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 care acoperă metodologiile și tehnicile de proiectare și verificare de sinteză la nivel înalt (HLS) de generație următoare.
Accesați documentație detaliată, versiuni, resurse și multe altele.
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ă.