Contador sincrono en Wincupl

Hola, estoy haciendo un contador sincrono en wincupl, pero me da varios errores al compilar: que los estados no tienen asignada una expresión. Si me pueden orientar mas o menos o explicarme el error, se los agradecería

El código es el siguiente

Código:
/* *************** INPUT PINS *******************/
PIN   1  = clk                        ; /*      */ 
PIN   2  = rst                        ; /*      */ 

/* *************** OUTPUT PINS ******************/
PIN   14  = q0                        ; /*      */ 
PIN   15  = q1                        ; /*      */ 
PIN   16  = q2                        ; /*      */ 
PIN   17  = q3                        ; /*      */ 


FIELD estados = [q0,q1,q2,q3];

$define  s0 \'b\'0000
$define  s1 \'b\'0001
$define  s2 \'b\'0010
$define  s3 \'b\'0011
$define  s4 \'b\'0100
$define  s5 \'b\'0101
$define  s6 \'b\'0110
$define  s7 \'b\'0111
$define  s8 \'b\'1000
$define  s9 \'b\'1001
$define s10 \'b\'1010
$define s11 \'b\'1011
$define s12 \'b\'1100
$define s13 \'b\'1101
$define s14 \'b\'1110
$define s15 \'b\'1111

sequence estados{
	present s0 
		if !rst next s1;
		default next s0;
	present s1
		if !rst next s2;
		default next s0;
	present s2
		if !rst next s3;
		default next s0;
	present s3
		if !rst next s4;
		default next s0;
	present s4
		if !rst next s5;
		default next s0;
	present s5
		if !rst next s6;
		default next s0;
	present s6
		if !rst next s7;
		default next s0;
	present s7
		if !rst next s8;
		default next s0;
	present s8
		if !rst next s9;
		default next s0;
	present s9
		if !rst next s10;
		default next s0;
	present s10
		if !rst next s11;
		default next s0;
	present s11
		if !rst next s12;
		default next s0;
	present s12
		if !rst next s13;
		default next s0;
	present s13
		if !rst next s14;
		default next s0;
	present s14
		if !rst next s15;
		default next s0;
	present s15
		if !rst next s0;
		default next s0;
}
...
 
Atrás
Arriba