Explore l'évolution des systèmes numériques, des transistors aux circuits intégrés, en mettant l'accent sur l'impact de la loi de Moore et du travail pratique du FPGA.
Couvre la vérification de la synchronisation, la modélisation du retard de la porte, le retard du réseau, les chemins sensibilisables et l'analyse du chemin critique dans les circuits numériques.
S'oriente vers l'optimisation des files d'attente prioritaires purement fonctionnelles, l'exploration des files d'attente binomiales et biaisées, des racines mondiales et des implémentations pratiques.
Couvre les modèles stochastiques de communication, en mettant l'accent sur la théorie de la file d'attente avec une analyse approfondie de la file d'attente M/G/1.
