Создание конечных автоматов с помощью графических и табличных интерфейсов. Последовательная логика моделирования с использованием диаграмм потока состояний и таблиц переходов состояний. Моделирование комбинаторной логики с помощью блок-схем и таблиц истинности. Представление различных режимов работы в системе как состояний, которые выполняются исключительно или параллельно. Управление сложностью конструкции путем иерархической организации компонентов.