Timing-Analyse und CDC
Was ist der richtige Grund dafür, dass trotz STA und RTL-Simulation eine Prüfung mit einem CDC-Verifikationstool erforderlich ist?
- AWeil das CDC-Verifikationstool Setup und Hold aller Flipflops genauer berechnet als die STA
- BWeil sich mit einem CDC-Verifikationstool asynchrone Takte automatisch in synchrone Takte umwandeln lassen
- CWeil die STA Pfade zwischen asynchronen Takten von der Analyse ausschließt und die RTL-Simulation Metastabilität nicht nachbildet, sodass Synchronisationsfehler nicht gefunden werden
Antwort und Erläuterung anzeigen
Antwort: C. Weil die STA Pfade zwischen asynchronen Takten von der Analyse ausschließt und die RTL-Simulation Metastabilität nicht nachbildet, sodass Synchronisationsfehler nicht gefunden werden
Für Pfade zwischen asynchronen Takten kann die STA kein Timing festlegen; sie werden daher üblicherweise etwa per Angabe von Taktgruppen von der Analyse ausgeschlossen. In der RTL-Simulation sind Flipflops zudem stets eindeutig 0 oder 1, sodass die Schaltung auch ohne Synchronisierer scheinbar korrekt arbeitet. Das CDC-Verifikationstool untersucht die Schaltungsstruktur und findet Pfade ohne Synchronisierer, kombinatorische Logik vor dem Synchronisierer, einzeln synchronisierte Mehrbit-Signale, Rekonvergenz usw. Die Timing-Berechnung ist Aufgabe der STA.