La verifica digitale svolge un ruolo fondamentale nella produzione di un dispositivo ed ha lo scopo di garantire prodotti di qualità al momento del loro tape-out. Diventa necessario rendere la verifica digitale più efficiente per poter ridurre il tempo di immissione nel mercato ed aumentare l’affidabilità di quello che è stato prodotto. Uno dei fattori principali che porta all’aumento della complessità di un design è l’incremento del numero di domini di clock e reset presenti in un sistema. L’incremento è spinto dallo scopo di ottenere un’ottimizzazione della potenza dinamica, dall’esigenza di integrare più interfacce di I/O e dal continuo crescere della complessità della logica integrata.