A statikus időzítés-elemzés (SVA, eng. Static timing analysis ) a VLSI időzítési paramétereinek kiszámítására szolgáló módszer , amely nem igényli az áramkör működésének teljes körű elektromos szimulációját.
A szinkron áramkörökben az adatok az egyik flip- flopból a másikba kerülnek átvitelre valamilyen kombinációs szakaszon keresztül . A triggereket óraszinkronizáló jel vezérli, melynek periódusát a trigger bemenetétől a kimenetéig tartó jelátvitel késleltetése határozza meg. Az ilyen rendszerekben kétféle hiba lehetséges:
A jel kimenetre érkezésének időpontja számos okból változhat: az áramkör különböző műveleteket hajthat végre, változik a környezeti hőmérséklet vagy feszültség, változik a gyártási folyamat hatására stb. A CBA fő feladata ebben ügyében ellenőrizni kell, hogy minden lehetséges eltérés ellenére a jel a megadott időkereten belül megérkezik-e az áramkör kimenetére, ami az áramkör hibamentes működésének feltétele.