Skip to main content
Ta strona jest wyświetlana przy użyciu automatycznego translatora. Czy chcesz wyświetlić ją w języku angielskim?

Przegląd

Questa Check X

Niezdefiniowany sygnał na krytycznym skrzyżowaniu sterującym w projekcie lub rejestr nieoczekiwanie załadowany śmieciami może szybko przekształcić się w kłopotliwy problem. Niestety, obsługa sygnałów poziomu „X” różni się syntezą logiczną i symulacją.


Skontaktuj się z naszym zespołem sprzedaży 1-800-547-3000

Inżynier używający narzędzia Questa Check Register na swoich dwóch monitorach
Kluczowe cechy

Ta automatyczna weryfikacja stanu X

Zautomatyzowana aplikacja Questa Check X została zaprojektowana tak, aby automatycznie wykorzystywać formalną analizę w celu wyczerpującej identyfikacji problemów z propagacją „X” w projekcie, biorąc jako dane wejściowe RTL i specyfikację sekwencji inicjalizacji.

Weryfikacja formalna

Polecane białe księgi

Weryfikacja formalna

Nadchodzące wydarzenia i wydarzenia na żądanie

Zobacz wszystkie dostępne formalne nagrania wideo weryfikacyjne na stronie Akademia Weryfikacji.

Gotowy dzisiaj z kimś porozmawiać?

Jesteśmy gotowi, aby odpowiedzieć na twoje pytania.

Skontaktuj się z naszym zespołem sprzedaży 1-800-547-3000

Dowiedz się więcej

Akademia Weryfikacji

Akademia Weryfikacji zapewnia umiejętności niezbędne do doskonalenia możliwości procesu weryfikacji funkcjonalnej organizacji, zapewniając metodologiczny pomost między propozycjami wartości wysokiego poziomu a szczegółami niskiego poziomu.

Blog Horyzonty weryfikacji

Wgląd i aktualizacje koncepcji, wartości, standardów, metodologii i przykładów, aby pomóc w zrozumieniu, co zaawansowane technologie weryfikacji funkcjonalnej mogą zrobić i jak najskuteczniej je stosować.

Horyzonty weryfikacji

Publikacja Horyzonty weryfikacji zawiera koncepcje, wartości, metodologie i przykłady, które pomagają zrozumieć, co zaawansowane technologie weryfikacji funkcjonalnej mogą zrobić i jak najskuteczniej je stosować.