Aplikacije usmjerene na HL su plug-in kompatibilne s postojećim RTL tokovima i UVM principima, ciljajući:
Catapult Design Checker pruža više statičkih i formalnih načina provjere tipki koji smanjuju potrebu za provjerom vašeg dizajna temeljenom na simulaciji. Problemi s kodiranjem, nejasnoće izvora dizajna, zabrinutosti za QoR i izvori potencijalnih neusklađenosti HLS C++/SystemC do RTL brzo se hvataju i daju se povratne informacije o izvoru i uzroku.
Catapult Formal Assert je formalna aplikacija za provjeru integrirana s Catapult HLS. Tvrdnje napisane u C-Sourceu bit će ocijenjene moćnim formalnim rješavačima koji pružaju brz odgovor, konfiguribilne vremenske prekide i strategije rješavanja te robusno okruženje za otklanjanje pogrešaka. Tvrditi, pretpostaviti i pokriti su podržani. Kontra-primjeri stvaraju testni stol na razini C i zadane gdb postavke, kao i SEDA-ov grafički program za ispravljanje pogrešaka valnog oblika Visualizer.
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.
