Description du livre
Ce livre se concentre sur les unités de contrôle, qui sont une partie vitale des systèmes numériques modernes, et qui sont responsables de l'efficacité des systèmes contrôlés. Le modèle d'une machine à états finis (FSM) est souvent utilisé pour représenter le comportement d'une unité de contrôle. En règle générale, les unités de contrôle ont des structures irrégulières qui rendent impossible la conception de leurs circuits logiques à l'aide des cellules de bibliothèque standard. Les méthodes de conception dépendent fortement de facteurs tels que le FSM utilisé, les caractéristiques spécifiques des éléments logiques mis en œuvre dans le circuit logique du FSM et les caractéristiques de l'algorithme de commande à interpréter.
Ce livre traite des FSM Moore et Mealy implémentés avec des puces FPGA, y compris les éléments de table de consultation (LUT) et les blocs de mémoire embarqués (EMB). Il est crucial de minimiser le nombre de LUTs et d'EMBs dans un circuit logique FSM, ainsi que de rendre les interconnexions entre les éléments logiques plus régulières, et diverses méthodes de décompositions structurelles peuvent être utilisées pour résoudre ce problème. Ces méthodes sont réduites à la présentation d'un circuit FSM comme une composition de différents blocs logiques, dont la majorité met en œuvre des systèmes de fonctions logiques intermédiaires différents (et beaucoup plus simples) que les fonctions de mémoire d'entrée et les fonctions de sortie du FSM. La décomposition structurelle a pour résultat que les circuits FSM à plusieurs niveaux ont moins d'éléments logiques que les circuits équivalents à un seul niveau. Le livre décrit des méthodes bien connues de décomposition structurelle et en propose de nouvelles, en examinant leur impact sur la quantité finale de matériel dans un circuit FSM. Il s'adresse aux étudiants et aux étudiants de troisième cycle en informatique, ainsi qu'aux experts impliqués dans la conception de systèmes numériques avec des unités de contrôle complexes. Les modèles et les méthodes de conception proposés ouvrent de nouvelles possibilités pour créer des circuits logiques d'unités de contrôle avec une quantité optimale de matériel et des interconnexions régulières.