Pregled
Provjera dizajna katapulta
Catapult donosi vlakna i formalnu analizu kako bi potvrdio ispravnost vaših C++/SystemC dizajna prije sinteze. Izbjegavajte probleme s dizajnom povezane s neinicijaliziranim čitanjima memorije, pristupima izvan vezanog niza, nepotpunim izjavama prekidača i QoR problemima koji se mogu pojaviti prilikom kodiranja za HLS.
Verifikacija na C ++ smanjuje troškove i do 80%
Formalna i statička vlakna za C++/SystemC
Catapult Design Checker pruža više načina provjere koji uklanjaju potrebu za ispravljanjem pogrešaka u vašem dizajnu temeljenom na simulaciji. Problemi s kodiranjem, QoR problemi i potencijalne neusklađenosti i nejasnoće od C ++/SystemC do RTL brzo se hvataju dajući točne povratne informacije o izvoru i uzroku.
Statička vlakna za QoR
Pronalaženje uobičajenih problema u kodiranju prije sinteze lako je pomoću programa Catapult Design Checker.
Usredotočite se na specifične probleme
Catapult Design Checker omogućuje korisniku da prilagodi provjere i daje prioritet kako bi se usredotočio na goruće probleme uz smanjenje buke od već poznatih problema.
Trening za katapult na zahtjev
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.
Skupina za sintezu i provjeru 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.
HLSLibs
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 za dizajn i provjeru HLS
Blog koji pokriva metodologije i tehnike dizajna i provjere sinteze na visokoj razini (HLS) sljedeće generacije.
Podrška za katapult
Pristupite detaljnoj dokumentaciji, izdanjima, resursima i još mnogo toga.
EDA savjetovanje
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.