Aplikacje zorientowane na HL są zgodne z wtyczkami z istniejącymi przepływami RTL i zasadami UVM, ukierunkowując:
Catapult Design Checker zapewnia wiele trybów sprawdzania statycznego i formalnego przycisku, które zmniejszają potrzebę weryfikacji projektu opartej na symulacji. Problemy z kodowaniem, niejasności źródeł projektu, obawy dotyczące jakości i źródła potencjalnych niedopasowań HLS C++/SystemC do RTL są szybko wychwytywane, a informacje zwrotne są dostarczane co do źródła i przyczyny.
Catapult Formal Assert to formalna aplikacja weryfikacyjna zintegrowana z Catapult HLS. Twierdzenia napisane w C-Source będą oceniane za pomocą potężnych formalnych solwerów, które zapewniają szybką reakcję, konfigurowalne limity czasu i strategie rozwiązywania oraz solidne środowisko debugowania. Potwierdzić, załóżmy a pokrywa są obsługiwane. Kontr-przykłady tworzą stanowisko testowe na poziomie C i domyślne ustawienia gdb, a także graficzny debugger przebiegu wizualizatora SEDA.
Biblioteka szkoleń na żądanie Catapult High-Level Synthesis (HLS) zawiera zestaw ścieżek uczenia się z modułami wprowadzającymi inżynierów do HLS i weryfikację na wysokim poziomie.
Grupa do omówienia dokładniejszych punktów projektowania i weryfikacji przy użyciu narzędzi Siemens EDA HLS i HLV. Dołącz do dyskusji na nowe tematy, funkcje, treści i ekspertów technicznych.
Wolny i otwarty zestaw bibliotek zaimplementowanych w standardowym C ++ do projektowania sprzętu i oprogramowania z dokładnością do bitów. Jest to otwarta społeczność do wymiany wiedzy i własności intelektualnej dla HLS, która może być wykorzystana do przyspieszenia zarówno badań, jak i projektowania.
Blog obejmujący metodologie i techniki projektowania i weryfikacji syntezy wysokiego poziomu (HLS) nowej generacji.
Uzyskaj dostęp do szczegółowej dokumentacji, wersji, zasobów i nie tylko.
Pomoc w osiągnięciu maksymalnego wpływu biznesowego poprzez stawianie czoła złożonym wyzwaniom technologicznym i przedsiębiorstwom dzięki unikalnej kombinacji doświadczenia w zakresie rozwoju i projektowania oraz wiedzy specjalistycznej w zakresie metodologii.
