Kada dizajneri premještaju opise visoke razine u RTL ili izvrše optimizaciju snage na RTL, moraju znati je li rezultat funkcionalno ekvivalentan izvorniku. SLEC motori pružaju rješenja za ručnu sintezu na visokoj razini (generirana katapultom) i provjeru RTL ekvivalencije optimizirane snage.
Uparen s nizom najboljih motora u klasi, ovaj moćan pristup provjere omogućuje lov na bube, graničnu provjeru i strategije potpune otpornosti. SLEC je dizajniran da nadopuni tipičnu provjeru zasnovanu na simulaciji, a integriran je s alatima za ispravljanje pogrešaka poput Siemens EDA Visualizer za razumijevanje krivotvorenja.
Za najteže izazove ručne formalne provjere koji uključuju složene implementacije u ručno kodiranom RTL-u. SLEC-sustav pruža mogućnosti koje omogućuju formalno dokazivanje projektnih blokova jednako izazovnih kao što su dvostruko precizno množenje s plutajućom točkom, višestruko dodavanje i drugi problemi koji se jednostavno ne mogu iscrpno simulirati u RTL-u.
Biblioteka obuke na zahtjev Catapult High-Sinteze (HLS) sadrži skup putova učenja s modulima za upoznavanje inženjera s HLS-om i provjerom na visokoj razini.
Grupa koja će raspravljati o finijim točkama dizajna i provjere pomoću Siemens EDA HLS i HLV alata. Pridružite se raspravi o novim temama, značajkama, sadržaju i tehničkim stručnjacima.
Besplatan i otvoren skup knjižnica implementiranih u standardnom C ++ za bitno precizan hardver i softver dizajn. To je otvorena zajednica za razmjenu 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 provjere sinteze na visokoj razini (HLS) sljedeće generacije.
Pristupite detaljnoj dokumentaciji, izdanjima, resursima i još mnogo toga.
Pomažući vam da postignete maksimalni poslovni utjecaj rješavanjem složenih tehnoloških i poslovnih izazova uz jedinstvenu mješavinu iskustva u razvoju i dizajnu te stručnosti metodologije.