Formalnie zweryfikuj poprawność ręcznie napisanych modeli RTL vs High-Level w C ++ lub SystemC za pomocą sprawdzania równoważności logicznej sekwencyjnej. Nawet przy różnicach w języku, czasie i interfejsach, SLEC-system weryfikuje ręcznie RTL z C++/SystemC potwierdzając równoważność między C++ i RTL.
Kiedy projektanci przenoszą opisy wysokiego poziomu do RTL lub dokonują optymalizacji mocy do RTL, muszą wiedzieć, czy wynik jest funkcjonalnie równoważny z oryginałem. Silniki SLEC dostarczają rozwiązania do ręcznej syntezy wysokiego poziomu (generowanej przez katapult) i zoptymalizowanej mocy sprawdzania równoważności RTL.
W połączeniu z szeregiem najlepszych w swojej klasie silników, to potężne podejście do weryfikacji umożliwia polowanie na błędy, kontrolę granic i pełne strategie odporności na błędy. SLEC został zaprojektowany w celu uzupełnienia typowej weryfikacji opartej na symulacji i jest zintegrowany z narzędziami debugowania, takimi jak Siemens EDA Visualizer, aby zrozumieć fałszerstwa.
Do najtrudniejszych wyzwań ręcznej weryfikacji formalnej obejmujących złożone implementacje w ręcznie kodowanym RTL. System SLEC zapewnia funkcje umożliwiające formalne potwierdzenie bloków projektowych tak trudnych, jak podwójne precyzyjne mnożenie zmiennoprzecinkowe, wielokrotne dodawanie i inne problemy, których po prostu nie można wyczerpująco symulować w RTL.
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.