Electronique numérique et séquentielle : pratique des langages de description de haut niveau : rappels de cours et applications