
Katapult
Iparágvezető és felhőalapú C++/SystemC magas szintű szintézis alacsony fogyasztású becslés/optimalizálással. A tervezés-ellenőrzés, a kód és a funkcionális lefedettség ellenőrzése, valamint a formális ellenőrzés többé teszi a HLS-t, mint puszta „C-to-RTL”.
„











