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

Ta weryfikacja CDC

Questa CDC identyfikuje błędy za pomocą analizy strukturalnej do rozpoznawania domen zegarowych, synchronizatorów i struktur o małej mocy za pomocą Unified Power Format (UPF). Generuje twierdzenia dotyczące weryfikacji protokołu wraz z modelami metastabilności do weryfikacji rekonwergencji.


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

Ta weryfikacja CDC
Kluczowe cechy

Ta analiza wysokiej wydajności CDC

Korzystając tylko z pliku RTL (i pliku intencji mocy UPF), rozwiązania Questa CDC automatycznie generują i analizują twierdzenia, aby szybko zidentyfikować problemy z przejściem przez zegar z domeną (CDC) zabijających chipy.

Weryfikacja statyczna

Nadchodzące wydarzenia i wydarzenia na żądanie

Zobacz wszystkie dostępne nagrania wideo CDC, Lint i RDC na stronie Akademia Weryfikacji.

Ta weryfikacja CDC

Polecane białe księgi

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ć.