Aplikacije usredsređene na HL su plug-in kompatibilne sa postojećim RTL tokovima i UVM principima, ciljajući:
Catapult Design Checker pruža više statičkih i formalnih načina provjere tastera koji smanjuju potrebu za verifikacijom vašeg dizajna zasnovanom na simulaciji. Problemi sa kodiranjem, nejasnoće izvora dizajna, zabrinutost KoR -a i izvori potencijalnih neusklađenosti HLS C++/SistemC do RTL brzo se hvataju i daju se povratne informacije o izvoru i uzroku.
Catapult Formal Assert je formalna aplikacija za verifikaciju integrisana sa Catapult HLS. Tvrdnje napisane u C-Sourceu biće ocenjene moćnim formalnim rešačima koji pružaju brz odgovor, podesiva vremenska ograničenja i strategije rešavanja i robusno okruženje za otklanjanje grešaka. Tvrditi, pretpostaviti i pokriti su podržani. Kontra-primeri kreiraju testni stol na nivou C i podrazumevane gdb postavke, kao i grafički program za uklanjanje pogrešaka talasnog oblika SEDA-ov Visualizer.
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.
