Kluczowy sukces krzemowego pierwszego przejścia
all
Formalne i następne normalne
Przegląd
Questa Inspect
Znajdź błędy na wczesnym etapie projektowania! Questa Inspect automatycznie generuje właściwości obsługujące stale rosnącą różnorodność kontroli statycznych i dynamicznych, takich jak analiza martwego kodu, impas maszynowy w stanie skończonym, pętle kombinatoryczne i żywotność; obejmujące typowe błędy projektowe i niewyobrażalne przypadki narożników.
Skontaktuj się z naszym zespołem sprzedaży 1-800-547-3000
Kluczowe cechy
Dylemat weryfikacji projektantów
SVA i PSL są czasochłonne. Aplikacja Questa Inspect ułatwia triowanie problemów, które w przeciwnym razie wymagałyby dużo czasu i wysiłku, takich jak impas i stan maszyny, przepełnienie arytmetyczne i indeksowanie pamięci poza zasięgiem.
