Описание микропроцессорных структур и задание СКВ

СКВ-метод описания микропроцессорных структур позволяет получать множество различных предложений (структур), удовлетворяющих общим правилам их порождения. С этой целью вводятся металингвистические правила по типу формализации Бэкуса—Наура.

Управляющий вычислительный комплекс в целом представляется в виде многоуровневой структуры, содержащей на каждом уровне отдельные модули (блоки). Структура отдельных модулей и УВК в целом описывается линейной скобочной формой, содержащей имена вложенных модулей, некоторое количество пар скобок, идентификаторы функций взаимодействия и/или указатели кратности. Модулям соответствуют стандартизованные элементы многоуровневых конструкций, применяемых в УВК, — например блоки элементов (печатная плата), монтажный блок (кассета), автономный комплектный блок (АКБ).

Описание УВК состоит из конечного числа предложений, левая и правая части которых разделены символом «::=». Слевазаписывается нетерминальный символ, соответствующий модулю или УВК, содержащему вложенные элементы или модули, а справа — одно или несколько «значений» этого символа, разделенных ограничителями «|»(или) и содержащих терминальные (независимые, оконечные) и нетерминальные символы, соответствующие этим вложенным элементам или модулям, различные пары скобок и идентификаторы функций взаимодействия и т. д.

В описании могут использоваться следующие пары скобок: < > — микросхема (группа микросхем); [ ] — блок элементов; {} — группа блоков элементов, монтажный блок или АКБ; " — любое из указанных объединений элементов; () — блок, все компоненты которого имеют общую функцию взаимодействия. Идентификатор функции ставится перед открывающей круглой скобкой и обозначает некоторый известный способ взаимодействия элементов структуры (например, способ соединения элементов, интерфейс, протокол передачи данных). Для произвольного идентификатора функции взаимодействия зарезервирован символ Int. Указатель кратности — произвольное целое число, которое может записываться перед именем модуля для указания количества модулей этого типа в структуре.

Каждой порождаемой структуре УВК однозначно соответствует СКВ Х= (x₁, х₂, ... , x_k), компоненты которого указывают типы выбранных элементов, их количество, типы интерфейсов и т.д. Разработчик задает множество СКВ {Xj},.j Є [1, Ν].

Описание структур может быть рекурсивным. В этом случае может порождаться бесконечное множество структур, и их ограничение производится с помощью дополнительных условий (например, равенств или неравенств), наложенных на количество применений того или иного предложения.

Формирование ТрС