DCL - формальный язык представления микропрограмм.
Граф-схема алгоритма предусматривает представление микропрограммы в виде графа.
Четыре типа вершин ГСА:
- начало
- конец
- микрокоманда – это набор микроопераций, которые выполняются в одном такте, одновременно.
- условная вершина
y – сигнал микрооперации;
Y – сигнал микрокоманды.
Микрооперации, которые можно объединить в одном такте, называются совместными (микрооперации над разной аппаратурой).
Пример:
Построить ГСА микропрограммы и структурную схему ОУ, вычисляющего число единиц в слове А. 
А – сдвиговый регистр
С – счетчик
k = 
Содержательный ГСА для ситеза ОА, для синтеза УА содержание микроопераций неважно, важна последовательность.
