MODULE jkff

	jkff		device		'p20v8';
	Clk		pin		1;
	j,k		pin		2,3;
	Qout		pin		22	istype	'reg';

equations

	Qout.clk = Clk;

	Qout.D := (j & !Qout.Q) # (k & Qout.Q);

test_vectors ([Clk,j,k]->[Qout])

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

END