MODULE moore

	moore		device		'p20v8';
	
	d,f1,f2		pin		18,19,20;
	r		pin		2;
	reset		pin		4;
	clock		pin		1;
	q1,q0		pin		21,22 istype	'reg';

	s0 = 0;
	s1 = 1;
	s2 = 2;

equations

	[q1,q0].clk = clock;

state_diagram [q1,q0];

	State s0:
		
		d = 0;
		f1 = 1;
		f2 = 0;
		if (r & !reset) then s1	;
		else s0;

	State s1:

		d = 1;
		f1 = 1;
		f2 = 0;
		if (!reset) then s2	;
		else s0;

	State s2:

		d = 1;
		f1 = 1;
		f2 = 0;
		if (!reset) then s2	;
		else s0;

test_vectors ([clock,reset,r]->[d,f1,f2])

	[.c.,1,.x.]->[0,1,0];
	[.c.,0,0]->[0,1,0];
	[.c.,0,1]->[1,1,0];
	[.c.,0,.x.]->[1,1,0];
	[.c.,1,.x.]->[0,1,0];

END