Weryfikacja bez bodźców

W pełni automatyczna aplikacja do poszukiwania problemów formalnych, która znajduje głęboko ukryte problemy z powodu typowych błędów kodowania RTL, Questa Inspect umożliwia wyeliminowanie szerokiego zakresu problemów bez stanowiska testowego.

The Questa Check Connect Aplikacja jest w pełni zautomatyzowanym rozwiązaniem do wyczerpującej weryfikacji statycznej i dynamicznej łączności bez konieczności znajomości języka formalnego lub specyfikacji właściwości.

Questa Increase Coverage jest automatycznym rozwiązaniem formalnym umożliwiającym szybsze zamknięcie zasięgu kodu, które rozwiązuje niezaprzeczalny fakt weryfikacji: zawsze pozostaje pewien ułamek nieodkrytego kodu.

Biblioteki Questa Formal VIP AMBA i OnChip poprawiają jakość i redukują harmonogramy, budując wiedzę z zakresu protokołów i metodologii w pakiety oświadczeń wielokrotnego użytku, które obsługują popularne interfejsy branżowe.

Questa Verify Property wyczerpująco odkrywa wszelkie błędy projektowe, które mogą wystąpić, bez konieczności specjalnego bodźca do wykrycia problemu. Zapewnia to, że zweryfikowany projekt jest wolny od problemów we wszystkich legalnych scenariuszach wejściowych.

The Questa Check Register Aplikacja automatyzuje wyczerpującą weryfikację zachowania rejestru kontroli i stanu ze specyfikacją rejestru CSV lub IP-XACT.

The Questa Verify Secure aplikacja jest w pełni zautomatyzowanym rozwiązaniem do wyczerpującej weryfikacji, czy tylko określone ścieżki mogą dotrzeć do elementów pamięci masowej o znaczeniu krytycznym dla bezpieczeństwa.

Questa Equivalent RTL automatycznie porównuje specyfikację RTL i implementację bloków kodów RTL przy użyciu wyczerpującej analizy formalnej. Nie jest wymagana znajomość języków formalnych lub specyfikacji własności.

Questa Check X to zautomatyzowana aplikacja, która wyczerpująco usuwa problemy „X” na poziomie RTL bez testbenchu.

Siemens Questa Equivalent FPGA rozwiązanie zapewnia, że przepływy implementacyjne FPGA, takie jak synteza i optymalizacja place-and-route, nie wprowadzają błędów funkcjonalnych.

Questa GapFree optymalizuje jakość projektów cyfrowych, sprawdzając wszystkie funkcje dla wszystkich danych wejściowych, co prowadzi do niespotykanych dotąd niskich wskaźników unikania problemów.

Weryfikacja projektu na wysokim poziomie dzięki rozszerzeniu Questa HL-SYC pomaga wyeliminować problemy przed syntezą, rozpoczynając weryfikację wcześniej w trakcie przepływu.

Questa Verify Trust wykorzystuje zautomatyzowaną analizę w celu wykrywania i zgłaszania obaw związanych z lukami w zabezpieczeniach.

Zapewnia zgodność projektów RISC-V z warunkami ISA i funkcjonalnymi, przyspieszając weryfikację poprzez wyeliminowanie potrzeby tworzenia stanowisk testowych.

The Questa FPU Aplikacja znacznie minimalizuje obciążenie weryfikacyjne, zapewniając dokładne dopasowanie implementacji zmiennoprzecinkowych do pożądanych rezultatów.

The Questa Analyze Fault aplikacja jest rozwiązaniem opartym na technologii Questa formal, która analizuje usterki poprzez ich wstrzyknięcie i formalnie sprawdza ich wynik pod kątem bezpieczeństwa i bezpieczeństwa sprzętu.

Analyze Architecture to przełomowe rozwiązanie, które zapewnia użytkownikowi możliwość weryfikacji dużych systemów sprzętowych, czy są zgodne z określoną architekturą.

Aplikacja Questa Post Silicon Debug wykorzystuje formalną analizę i syntezę właściwości, aby szybko spowodować problemy logiczne głęboko w SoC i udowodnić, że poprawki nie złamią niczego innego.