Des règles d'assemblage séquentiel sont ici codifiées pour éviter, dès la conception, les aléas de fonctionnement. Des méthodes simples, progressives, permettent de réaliser des systèmes numériques à partir de leurs spécifications, en utilisant des circuits programmables ou des réseaux prédiffusés.