מערכות ספרתיות עם ליביו - לוגיקה סדרתית חלק 2, תכנון מערכת עקיבה סינכרונית