
CI-LOG : Modéliser, prévoir et vérifier les performances des systèmes combinatoires et séquentiels.
- CI-LOG-COM : Simuler un système combinatoire.
- CI-LOG-SEQ-1 : Décrire puis réaliser un système à partir d’un besoin de mémorisation
- CI-LOG-SEQ-2 : Commander une machine d’états virtuelle
- CI-LOG-SEQ-3 : Décrire, simuler puis valider la commande d’un système à l’aide de diagrammes d’état