Synthesis program for the synthesis of sequential circuits