Timinganalyse en CDC
Wat is de juiste reden waarom controle met een CDC-verificatietool nodig wordt geacht, ook als STA en RTL-simulatie worden uitgevoerd?
- AOmdat een CDC-verificatietool setup en hold van alle flip-flops nauwkeuriger berekent dan STA
- BOmdat een CDC-verificatietool asynchrone klokken automatisch kan omzetten in synchrone klokken
- COmdat STA paden tussen asynchrone klokken uit de analyse haalt en RTL-simulatie geen metastabiliteit nabootst, zodat fouten in de synchronisatie niet worden gevonden
Antwoord en toelichting tonen
Antwoord: C. Omdat STA paden tussen asynchrone klokken uit de analyse haalt en RTL-simulatie geen metastabiliteit nabootst, zodat fouten in de synchronisatie niet worden gevonden
Voor paden tussen asynchrone klokken kan STA de timing niet bepalen, dus worden ze gewoonlijk uit de analyse gehaald, bijvoorbeeld door klokgroepen op te geven. In RTL-simulatie is een flip-flop bovendien altijd 0 of 1, dus lijkt de schakeling ook zonder synchronisator correct te werken. Een CDC-verificatietool onderzoekt de structuur van de schakeling en vindt paden zonder synchronisator, combinatorische logica vóór de synchronisator, afzonderlijke synchronisatie van multibitsignalen, reconvergentie enzovoort. Het berekenen van timing is de taak van STA.