Структура команд языка Prover

СТРУКТУРА КОМАНД ЯЗЫКА PROVER

Если в первой позиции помещен символ "*", то все остальные символы строки считаются комментарием и интерпретатором не обрабатываются. В первых трех позициях могут быть проставлены метки команд, по которым осуществляются передачи управления или номер такта, в котором осуществляется выполнение команд. В четвертой позиции всегда должен размещаться разделительный пробел. В позициях с 5 по 30 помещаются микрооперации, которые разделяются друг от друга запятыми. Символ пробела в этих позициях обозначает окончание команды. Для разработки программ тестов используют проблемно - ориентированные языки программирования, наиболее полно отражающие структуру средства диагноза, которая в свою очередь определяется микрооперациями, которые выполняются во время осуществления диагностирования.
Следует выделить основные микрооперации, которые для повышения быстродействия надо выполнять параллельно:
а) формирование кода адреса;
б) формирование кода данных;
в) рабочие микрооперации записи (W), считывания (R) и сравнения данных (A). При формировании кода адреса целесообразно использовать двумерную систему координат, что удобно для выбора строк и столбцов запоминающих ячеек.