LSI-Entwurfsablauf und EDA
Wie heißt die Verifikation, die mit speziellen Werkzeugen prüft, ob an Übergabestellen von Signalen zwischen Schaltungen mit unterschiedlichen Takten korrekte Synchronisationsschaltungen vorhanden sind?
- AIR-Drop-Analyse
- BCDC-Verifikation (Clock Domain Crossing)
- CDRC
Antwort und Erläuterung anzeigen
Antwort: B. CDC-Verifikation (Clock Domain Crossing)
Werden Signale zwischen asynchronen Takten unverändert übergeben, kann es zu Metastabilität, bei der der Flipflop-Ausgang weder als 0 noch als 1 definiert ist, oder zu verlorenen Daten kommen. Die CDC-Verifikation findet solche Übergabestellen automatisch im Entwurf und prüft, ob Synchronisationsschaltungen wie zweistufige Flipflops oder asynchrone FIFOs korrekt eingebaut sind. Da solche Fehler selten auftreten und schwer reproduzierbar sind, lassen sie sich in der normalen Simulation kaum finden, hier aber erkennen.