Kada dizajneri premeštaju opise visokog nivoa u RTL ili izvrše optimizaciju snage na RTL, moraju znati da li je rezultat funkcionalno ekvivalentan originalu. SLEC motori pružaju rešenja za ručnu sintezu visokog nivoa (generisanu katapultom) i proveru RTL ekvivalentnosti optimizovane snage.
Uparen sa nizom najboljih motora u klasi, ovaj moćan pristup verifikaciji omogućava lov na bube, graničnu proveru i strategije potpune otpornosti. SLEC je dizajniran da dopuni tipičnu verifikaciju zasnovanu na simulaciji i integrisan je sa alatima za otklanjanje grešaka kao što je Siemens EDA Visualizer za razumevanje falsifikovanja.
Za najteže izazove ručne formalne verifikacije koji uključuju složene implementacije u ručno kodiranom RTL-u. SLEC-sistem pruža mogućnosti koje omogućavaju formalni dokaz dizajnerskih blokova jednako izazovnih kao što su dvostruko precizno množenje sa plutajućom tačkom, višestruko dodavanje i drugi problemi koji se jednostavno ne mogu iscrpno simulirati u RTL-u.
Biblioteka obuke na zahtev Catapult High-Level Synthesis (HLS) sadrži skup puteva učenja sa modulima za upoznavanje inženjera sa HLS-om i verifikacijom na visokom nivou.
Grupa koja će razgovarati o finijim tačkama dizajna i verifikacije koristeći Siemens EDA HLS i HLV alate. Pridružite se diskusiji o novim temama, karakteristikama, sadržaju i tehničkim stručnjacima.
Besplatan i otvoren skup biblioteka implementiranih u standardnom C ++ za bitno precizan hardver i dizajn softvera. To je otvorena zajednica za razmenu znanja i IP-a za HLS koja se može koristiti za ubrzavanje istraživanja i dizajna.
Blog koji pokriva metodologije i tehnike dizajna i verifikacije sinteze na visokom nivou (HLS) sledeće generacije.
Pristupite detaljnoj dokumentaciji, izdanjima, resursima i još mnogo toga.
Pomažući vam da postignete maksimalan poslovni uticaj rešavanjem složenih tehnoloških i preduzetničkih izazova uz jedinstveni spoj iskustva u razvoju i dizajnu i stručnosti za metodologiju.