16.08.2024

Questa Autocheck

Eine vollautomatische App zur formalen Fehlersuche, die Fehler aufgrund von häufigen RTL-Codierungsfehlern findet

Questa AutoCheck hilft Ihnen, Fehler frühzeitig in Ihrem Design zu finden. Es generiert automatisch Properties , um eine ständig wachsende Vielfalt an statischen und dynamischen Prüfungen zu unterstützen, wie z.B. Dead-Code-Analyse, Finite-State-Machine-Deadlock, kombinatorische Schleifen und Liveness; es deckt häufige Designfehler und ungeahnte Sonderfälle ab.


Mehr erfahren

Kostenlose Demo