Ejemplo 1:

Tenemos cuatro entradas a,b,c,d, podemos definir un campo para manipular estas cuatro entradas, hacemos uso de la palabra reservada field salida=[a,b,c,d];

Luego ya podemos asignar al campo salida cualquier valor que se desee.

Con la palabra define vista en otro apartado se pueden definir los diferentes estados de una máquina

$define s0 'b'00

Para describir una secuencia de una máquina se tiene la siguiente sintaxis

Sequence nombre del campo de salida{

instrucciones

}

Next y present, estas dos palabra permiten describir una secuencia, es decir, a partir de un estado presente indicar cual será el estado próximo.

present (estado actual) next (estado siguiente);

en este caso cuando se de la transición de reloj se pasara del estado s0 a s1.

El paso a un estado siguiente se puede hacer solo por la transición de reloj o también incluyendo una condición para el cambio, en este caso se usará la siguiente sintaxis

present (estado actual) if (condición a evaluar) next (próximo estado)

La condición a evaluar puede ser un simple valor bajo o alto en una variable, o una operación lógica entre varias variables.

Siempre que se describa un circuito secuencial se deben tener dos entradas imprescindibles que son el set y el reset, estas variables pueden estar en cualquiera de los pines de dedicados a entradas, y se indican como st para el set y rst para el reset, luego esto se le debe asignar a los flip-flops.

Si tenemos dos flip-flops que llamamos q0, q1, a cada uno de ellos tenemos que colocarle la señal de set y reset así:

q0.sp=st;

q0.ar=rst;

q1.sp=st;

q1.ar=rst;