Catapult Coverage
g kodu świadomy HLS, obejmujący obsługę instrukcji, gałęzi, warunku, ekspresji (FEC) i zasięgu dostępu do tablicy oraz pokrycie funkcjonalne inspirowane SystemVerilog z obsługą grup osłon, punktów osłon, pojemników i krzyżówek.
Dostarczając wiodące w swojej klasie produkty i metodologię projektowania wysokiego poziomu, Siemens dostarcza rozwiązania w wielu punktach procesu projektowania. Kontrola projektu, zasięg kodu i funkcjonalności oraz weryfikacja formalna dla sprawdzania równoważności C++ i SystemC.
Przyspiesz przepływ weryfikacji wysokiego poziomu (HLV) za pomocą znanych i zaufanych metod za pomocą platformy Catapult HLV. Zmniejsz ogólny czas realizacji i koszty weryfikacji SoC nawet o 80%, wykorzystując sprawdzanie projektu na wysokim poziomie, zasięg kodu/funkcjonalny oraz metody statyczne i formalne.
ciągu ostatnich kilku lat nastąpiła eksplozja w przyjęciu HLS do projektowania chipów, napędzana rosnącą złożonością projektowania i weryfikacji, a także czasem na presję rynkową. Catapult HLS umożliwia projektantom szybsze wprowadzanie swoich chipów na rynek, skracając ogólny przepływ projektowania i weryfikacji.