LSI-ontwerpflow en EDA
Hoe heet de verificatie waarbij met een speciale tool wordt gecontroleerd of op de plaatsen waar signalen worden doorgegeven tussen schakelingen met verschillende klokken, synchronisatieschakelingen correct zijn aangebracht?
- AIR-drop-analyse
- BCDC-verificatie (clock domain crossing)
- CDRC
Antwoord en toelichting tonen
Antwoord: B. CDC-verificatie (clock domain crossing)
Wanneer een signaal rechtstreeks tussen asynchrone klokken wordt doorgegeven, ontstaat metastabiliteit, waarbij de uitgang van een flipflop noch 0 noch 1 is, of gaan gegevens verloren. Bij CDC-verificatie worden zulke overdrachtspunten automatisch uit het ontwerp gevonden en wordt gecontroleerd of synchronisatieschakelingen zoals twee flipflops in serie of een asynchrone FIFO correct zijn aangebracht. Zo worden fouten gedetecteerd die zeldzaam zijn en moeilijk te reproduceren, en daardoor bij gewone simulatie moeilijk te vinden.