Per semplicità supponiamo di avere solo porte AND e OR. Ognuno ha due input e uno output. L'uscita di due ingressi può essere utilizzata come ingresso per il prossimo gate. Ad esempio:
A AND B - > E
C AND D - > F
E OR F - > G
Assumendo un numero arbitrario di porte, vogliamo verificare se il circuito si connette sempre a se stesso in uno stato precedente? Ad esempio:
E AND F - > A
Questo dovrebbe essere illegale poiché crea un ciclo infinito. Quale modello di progettazione sarebbe meglio controllare per questi cicli?