Cet ouvrage tente de répondre à trois défis: un défi
pédagogique, l'introduction d'un enseignement de niveau
universitaire conduisant le lecteur de la théorie classique
des systèmes logiques à celle de l'architecture des
processeurs, y compris leur microprogrammation; un défi
scientifique, une tentative de synthèse de la théorie des
systèmes logiques et de celle de la programmation
séquentielle; un défi technique, la mise en Šuvre
d'automatismes microprogrammés (commandes de machine,
horloges, par exemple) en lieu et place des systèmes
logiques câblés ou des microprocesseurs classiques. Ces
trois défis sont relevés en basant l'ensemble du volume sur
la notion d'équivalence entre système logique câblé
(matériel) et microprogrammé (logiciel).
Originalité
Ce livre constitue à la fois un exposé rigoureux sur la
microprogrammation, une introduction originale aux concepts
fondamentaux de la programmation séquentielle et un
traitement exhaustif du magiciel, défini comme la théorie
des transformations et des équivalences entre le matériel
et le logiciel.
Public
Etudiants des 1er et 2e cycles, chercheurs,
ingénieurs.
Contenu
Opérateurs logiques et mémoires - Arbres et diagrammes
de décision binaire - Sous-programmes et procédures -
Programmes incrémentés - Programmation structurée -
Programmation descendante - Microprogrammation d'un
processeur universel - Annexes (méthodes de simplification
et de réduction des fonctions pseudo-booléennes, méthodes
de structuration des programmes).
