Contrôleurs synchrones et asynchrones pour systèmes embarqués

Lorsque la conception des circuits digitaux a débuté, il n¿existait pas de distinction entre circuits synchrones et asynchrones. L¿évolution de l¿industrie des circuits intégrés durant la dernière décennie a été tellement rapide, qüil est maintenant possible d¿intégrer plusieurs systèmes complexes sur une seule puce (SoC). En effet, la tendance actuelle pour la conception des systèmes embarqués et de réaliser des architectures distribuées, mieux adaptées au paradigme GALS (Globalement Asynchrone Localement Synchrone). Il parait donc légitime de s¿intéresser aux contrôleurs asynchrones dans un cadre de recherche pour préparer l¿avenir de la conception des circuits mixtes. Ce livre décrit les approches de synthèse ainsi que les modèles de spécifications (machines d'états, graphe d'états, etc.) des contrôleurs synchrones et asynchrones pour systèmes embarqués et étudie les problèmes d'aléas associés (conflit, course, etc.). Ceci permet au concepteur de pouvoir synthétiser manuellement ou automatiquement des contrôleurs propres à son système en utilisant les outils de synthèse actuels via un langage de description de matérielle tel que le VHDL.