Существуют языки микропрограммирования, которые обеспечивают описание законов функционирования микропроцессора. Все функциональные блоки рассматриваются на уровне регистров. Языки микропрограммирования являются сильно ориентируемыми на конкретную структуру обработки информации. Основным оператором языка является микрокоманда, которая состоит из нескольких функционально совместимых микроопераций, т.е. порядок выполнения операций не влияет на конечный результат. Совместимость микроопераций зависит не только от действий, но и от структуры операционного автомата. С точки зрения языка для описания объектов используются конструкция идентификатор. Эти идентификаторы используются с конкретным числом битов того или иного данного. Отдельные поля регистров могут иметь собственное обозначение (идентификатор). Любая микрооперация, как некоторый акт преобразования данных, записывается в виде оператора:=. Сами по себе операции по преобразованию могут быть арифметическими, логическими, функциональными. Многофункциональное действие может быть использовано только в случае, если в операционном автомате есть соответствующий аппаратурный элемент. Основной единицей информации является слово. Микропрограммы пишутся с точки зрения слов. Любая микрокоманда выполняется за 1 такт машинного (автоматного) времени. Микрокоманда записывается всегда в 1 строку. Сама микрокоманда записывается в виде отдельных микрооператоров. Для того, чтобы организовать ветвления, используются условные микрооператоры - if, как полный так и укороченный вариант, вплоть до операторов условного присваивания:= (условие). Для наглядности представления микропрограмм используется графическое представление -схема алгоритма микропрограммы. В основе вычерчивания схем лежат общие требования, которые определяются стандартами группы ГОСТ 19... - группа единой системы программной документации. При графическом представлении учитывается, что в микропрограмме количество различных типов вершин в схеме алгоритмов резко ограниченно.
Конкретный номер микрооперации, который реализуется в операционном автомате и номер логических условий, которые вычисляется в различных автоматах, различны. Но этот номер должен удовлетворять требованиям алгоритмической полноты и эффективности.
Полнота - свойства набора операций и логических условий, которые позволяют построить микропрограмму для любой выполняемой операции устройствам машинной команды.
Эффективность предполагает, что набор микрооперации и логических условий позволяет строить наиболее быстродействующий алгоритм машинных команд при заданных ограничениях на аппаратные средства.
