module isPrime_control ();

	// define state names and variables
	
	
	// controller logic w/synchronous reset
	
	
	// next state logic
	
	
	// output assignments
	

endmodule  // isPrime_control