Considere uma aplicação para controlar a velocidade de um veículo. Um sensor w indica quando ele está excedendo a velocidade desejada. Se isso ocorrer durante duas ou mais medidas consecutivas, um sinal z deve ser acionado para reduzir sua velocidade. Estas são as especificações:

1. O circuito tem uma entrada, w, e uma saída, z;
2. Todas as mudanças no circuito ocorrem na borda positiva de clock;
3. A saída z é igual a 1 se a entrada w for 1 durante os dois ciclos consecutivos anteriores de clock.