Aplikacije, osredotočene na HL, so vtičniki združljive z obstoječimi tokovi RTL in UVM načeli, ki ciljajo na:
Catapult Design Checker ponuja več načinov statičnega in formalnega preverjanja s tipko, ki zmanjšujejo potrebo po simulacijskem preverjanju vašega dizajna. Težave s kodiranjem, dvoumnosti virov oblikovanja, pomisleke glede QoR in viri potencialnih neusklajenosti HLS C++/SystemC in RTL se hitro ujemajo, zagotovijo pa se povratne informacije o viru in vzroku.
Catapult Formal Assert je uradna aplikacija za preverjanje, integrirana s Catapult HLS. Trditve, napisane v C-Source, bodo ocenjene z zmogljivimi formalnimi reševalci, ki zagotavljajo hiter odziv, nastavljive časovne omejitve in strategije reševanja ter robustno okolje za odpravljanje napak. Trditev, domnevati in priredba so podprti. Proti primeri ustvarijo testno mizo na ravni C in privzete nastavitve gdb ter grafični odpravljač valovnih oblik SEDA Visualizer.
Knjižnica usposabljanja na zahtevo Catapult High-Level Synthesis (HLS) vsebuje niz učnih poti z moduli za seznanitev inženirjev s HLS in preverjanjem na visoki ravni.
Skupina za razpravo o natančnejših točkah oblikovanja in preverjanja z uporabo orodij Siemens EDA HLS in HLV. Pridružite se razpravi o novih temah, funkcijah, vsebini in tehničnih strokovnjakih.
Brezplačen in odprt nabor knjižnic, implementiranih v standardnem C ++ za bitno natančno oblikovanje strojne in programske opreme. Gre za odprto skupnost za izmenjavo znanja in intelektualne lastnine za HLS, ki jo je mogoče uporabiti za pospešitev raziskav in oblikovanja.
Blog, ki zajema metodologije in tehnike oblikovanja in preverjanja sinteze na visoki ravni (HLS) naslednje generacije.
Dostopajte do podrobne dokumentacije, izdaj, virov in še več.
Pomagamo vam doseči največji poslovni vpliv z reševanjem zapletenih tehnoloških in podjetniških izzivov z edinstveno mešanico razvojnih in oblikovalskih izkušenj ter metodološkega strokovnega znanja.
