Étude des méthodologies de conception, outils de synthèse et de génération automatiques de parties contrôles de microprocesseurs. (Study of design methodology, stools of automatic synthesis and generation to control parts of microprocessors). - Régine Etienne (1983)