автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Разработка алгоритмических и программных средств проектирования микропрограммных автоматов

ГОСУДАРСТВЕИШ КОМИТЕТ РС5СР ПО ДЕЛАМ НАУКИ И ВЫСШЕЙ* ШКОЛЫ

Томский ордена Октябрьской Революции и ордена Трудового Красного Знамени государственной университет

имени В.В.Куйбьтпева

<

Сибирский ордена Трудового Красного Знамени физико - технический институт км. В.Д.Кузнецова -

На правах рукописи УДК 601.3,06

ШГГ Яков Генахович

РАЗРАБОТКА АЛПЗШТШ1ЧЕСШ И ПРОГРАММНЫХ СРЕДСТВ ПРОЕКГИРОВАНИЯ ШКРОПРОГРДуМНЫХ АВТОМАТОВ

Специальность 05.13.11Математическое и ■ программное обеспечение вычислительных машин, комплексов, систем и сетей.

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата технических наук

рол

Томск - 19Э1

Работа выполнена в Сибирском физико-техническом института при Томском государственном университете.

Официальные оппоненти: доктор технических нэук, профессор Корихов A.M.; '• кандидат'технических наук, Паршина H.A.

Ведущ ее предприятп е: Институт технической кибернетики АН ВССР (Минск)

Защита состоитсяг У декабря 1991 г. в 15 часов на заседании специализированного совета Д.063.80.06 при Томском политехническом институте им. С.М.Кирова по адресу: 634004, г. Томск, пр. Ленина,30

С диссертацией можно ознакомиться в Научной библиотеке Томского .политехнического института.

■ Автореферат разослан_;_ноября 1991 г.

Ученый секретарь специализированного совета

Д.063.80.06 кандидат технических наук «

удинов И.Л.

0<5щая характеристика работы

Актуальность работы. Характерными особенностях« современной технологической аппаратуры является насыщение ее вычислительными устройствами различного назначения, развитая логическая структура, сирокоэ применение интегральных микросхем и многослойного печатного монтажа, высокая степень интеграции блоков и уалов. Разработать в сжатые сроки такую слоккую аппаратуру традиционными "ручными" методами без применения средств вычислительной техники практически невозможно. Поэтому автоматизация дроцессоз проектирования и изготовления элементов а узлов радиоэлектронной аппаратуры является одной из важнейших народнохозяйственных задач.

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

Цель работы. Цела раьоты является разработка методов, алгоритмов и программ, позволяющих в совокупности с известными . средствами агтоматизироватъ весь процесс проектирования дискретных упраглягзих устройств, начиная с отладки алгоритма фун~ ¡сциокнровалкя, заданного в языка ШКГОПРСТАММА. в работе сформулирован синтаг-сис языка, деталиирсвано -понятие сэшиггичзс-кей корректности микропрограммного описания. Првдлз^зны алгоритмы верп^ил^г,; гыхео списания, вклшаккз» синтзжичэсгагй

анализ описания, провзрку сеьактгчэской ¡юрреетностп и моделирование описанного алгоритма функцкоштровапил проектируемого устройства ва задзяинх разработчиком входных послэдовательнсс-тя7. Предло?йны алгоритмы преобразования опксаяш устройства с языка ICi-ïCHPCTFAiSJ в язв^и тзОхиц пароходов и выходов, таблиц интервалов, ckctsmv простых. секвенций и регулярных Еьзалзний. Цредлохех },нтод и алгоритм синтеза ¡лкроттрогршлкьк автоматов па базе [¿ккропроцзссорнщ: ко:-!пл?ктов с С-шсспроваппоп системой К01зид. Ees разработзпкш алгоритмы реализоваик . програьплчо, что пеэволлзт агтоштгаировать вэс?, прошсс проекгирэаааия ьз1-lcponporpayj.inux: автоматов.

!&тоды иссл-здсаа:-:;:;.-. Е caSoïs используется метода разделов дискретной матзиатвге:, а лйнно: теории будазак функций, Tscp:nt автоматов, яеорш гр=£ов н тезркн фориашасс грам.зтис.

Научная кевлгпа работы состо;гг

- кцгфаргрсЕаао. ижропрограшгоа оппсакнэ алгоритмов fcTKirçosnpcsajnrs дпсхрзткьсс упразскта: устройств и даго стрс-гоо озкеагкз «штакскса nsicca KíKFOTZFOrPAi^A;

- предлэгзн ¡.ятод синтетического ькавза ижрепрзгр асго CŒîCôSiî устройств, осковашаЛ па ввэдзшьзе пзнлтипх рзз-дэхнтгль ;; пара рзедзлнгел-эй;

- предлолзн мс-тод провэрхн сехзтгсэгквл керракгазати «л-rçsonpcrpsj&aoro описания;

- предлагай паи; еадгказ еходпц;-: гослздсБателькастей да иэдС'Г15роваэ;я повс-;лп;1Л îj'ssposparpirïscro аьго:,;ата;

- paapcSoxani; ."¿лгеритии пр-зоОрассвапп.: игкропрегрх'?wer. vcp^ сз;сан;:л д;:г::р;т;:ого устройггг" i: .' в

виде: таблиц переходов и выходэз, интервальных таблиц, системы простых секвенций и системы регулярных выражений;

- предложены метод и алгоритм проектирования микропрограммных автоматов на основе произвольного микропроцессорного ксхтлекта с фиксированной системой команд; алгоритм разработал с помощью введенного понятия особенной модели микропроцессорного комплекта "моделирующей микропроцессорный комплект".

Практическое значение работы определяется тем, что:

- программы верификации микропрограмьяых автоматов позволяют разработчику аппаратуры быстро и качественно получить: список синтаксических ошибок в описании, список семантически некорректных микрокоманд в синтаксически правильной микропрограмме и реагацщ семантически корректного описания на заданную им (разработчиком) входную последовательность;

- программы перевода микропрограммного списания устройства к другим формам описания позволяют воспользоваться известными (ранне разработанный) программами построения логической схемы устройства, а такие преобразований Форш бывает полезным для решения задач:! анализа автомата;

-программы реализации микропрограммного автомата на бале микропроцессорного комплекта с фиксированной системой кекзнд позволяет разработать программу а языке ассемблера конкргтксго иккропроцессорного конплекта, под управлением которой микропроцессорный комплект работает как проектируете управлять устройство.

Внедрение результатов. Результаты диссертационной р.тЛпы „использовались в ЦПБ "Ал:аз", г. Шсква, в ?51КА?Ч при ТПАО'уР;.

г. Томск, в НИШП, г. Томск, в СФТИ при ТГУ, г. Тонек, а такяе переданы в ГОСФАП-^кд алгоритмов и программ СССР и отражены в отчетах по темам Стаи-/л-4, Дупло. Рапира, Синдром. Результаты работы такие вешлн в отчеты лаборатории синтеза дискретных аа-тоыатов СШ! по НИР "Разработка методов автоматизации синтеза дискретных автоматов", выполненной в 1967 - 1975 г. г. по Постановлению ГК НТ N-274 от 20 гасни 1967 г., по НИР "Разработка автоматизированной систеш функционально - логического синтеза и диагностики цифровых: устройств ка Сазе алгоритмического язы-!са ЛЯПАС-Ц для БЗСи-6 и ЕС", выполненной по комплексной научно ■ технической программа САПР ЭДшвуза РСФСР в 1976 - 1980 г. г., по НИР "Оптимизация", выполненной в 1936 - 1990 г. г. по координационному плану стран членов СЭВ (Тема 1.25. Е. 1), по комплексной целевой программе САПР Шнвуаа РСФСР, по программе Цилвуэа РСФСР и Сибирского отделения АН СССР "Автоматизация научных исследования к обучения".

Практическая" значимость результатов подтверждена актами о внедрении. Программы вэрифккзции микропрограммного описания и преобразования его к другим формам представления использовались в лабораторных работах по курсу САПР студентами факультета прикладной"математики и кибернетик: ТГУ в качестве их программной поддержки. Цат» риал по микропрограммному представ ленка автоматов использовался в спецкурсе для студентов ТГУ.

Публикации и апробация работы. Есего по данной тематика опубликовано более 10 печатных работ. В дис. ертациоикзй работе использовано 9, перечень которых пргведзи в конце автореферата.

Результаты, вклвченные в диссертациоикуп работу, докладывались ка региональных конференциях: "Иолэдые ученье и специалисты Томской области в 9-ой пятилетке", Тсмск, 1975 г; "Молодые учениэ и специалисты народное хозяйству", Томск, 1977 г; им. А. С. Шпоза "Радиотехнические методы и средства измерения", Томск, 1085г; на отраслевой научно - технической конференции "Интегральные сервисные цифровые сети связи с коммутацией па-' кетов", Ленинград, 1988 г; на всесоюзной конференции "Мэтоды создания качественного программного обеспечения ЭВМ", Севастополь, 1980 г; на 28 школе семинаре им. М. А. Гаврилова "Логическое проектирование »микропроцессорных управлявших устройств", Батуми, 1986 г; на семинаре по программа "Шкролроцэ-сСоры и МнкрсЭЕИ", Москва, ЩИ, Циклон, 1937 г; на б-ом Есе-союном совеаршш по технической диагностике, Ростов ка Допу, 1987 г; ка республиканском семинаре "Машинные »йтоды проектирования электронно - вычислительной аппаратуры*', 'Каунас, 1938 г; на сешшарэх лаборатории синтеза дискретных автоматов Сибирского - физкко - техшгаеского института.

Структура работы. Диссертация состоит из тр?£ глав, введения, заключения, списка цитированной литература <и приложили.

Во введете: рассказывается об этапах проектирования дне-

л

крвтных устройств, задачах рассгатривазшх на каллрм этапе и показывается место задач рэ2а°»2яс 2 диесертацкскноЯ рзПот? з ¡кассе задач проектирования. В первой главе расеттрквэегс« юкропрзграьзлгоя спиоекзк? дкекпзтякг устрсйстз и bîpïtI^ksu::;; окпсзяиЛ. Вторая гласа поевлт^га ярзйрггзвагкт еткрепртра»:-

•много описания к другим формам. В третьей главе предлагается метод синтеза микропрограммных автоматов на базе произвольного микропроцессорного яшшкта с фиксированным набором команд. В заключении сформулирована основные результаты, полученные в работе. В придолашш приведены акты и справки о внедрениях. Работа содержит 126 стран;п1 машинописного текста.

СОДЕРЖАНИЕ РДЕО'ГЫ

Глава 1. Пакет диалоговых программ верификации микропрограммного описания дискретных управляющих устройств. При автоматизации всего процесса проектирования управлявших устройств ссобае значение приобретает безошибочная запись алгоритма функционирования проектируемого устойства на некотором формальном языке, так как в противном случае вся последуюиря работа пойдет шуступ. В данной главе рассматривается язык, введенный впервые В. 11 Глушковым и затем развитый А. Т. Мищряко. В настоя-щэй работе предлагается модификации этого пайка, в который по рекомендации сотрудников ЦКЕ "Алмаз" для большей выразительно^ сти были введены новые понятия: вдувдой оператор, установочная переменная и свойство связанности входных переменных. В таком варианте язык получил название МИКРОПРОГРАММА. В п. 1.1.2 формально излечен 1'го синтаксис. Названный язык удачно сочетает в себе наглядность, присуыув таблицам переходов и выходов, и компактность, характерную для систем секвенций, логических уравнений и т. п.

В обоэи случае условие семантической к.рректностл шкро-г.рогразлглего огшеаыш сфсрхулирсьсии А. Т. «.ценно. В предооло-Лекил сиккро.-лой асинхронной с прямыми и^р«^одгши реализа-

psiT-^wœacv.^ro гстгойстрз и с учзгса сгкзгэпкя еютплпэ-.ггн йхсдйшс пвгзмг-пгадс условия се1лк?:г»с»»й коррегггкосг:: утз-\ '":о пх-г.оллег /тростить а:;ол;:з cc-:.:^;:x;i-;gcí*o;'; ;;cppe¡w-

■ сста mu^zcndcri'i'î^ioi'j c;í::ccí;i:". пр'.гпэд-?:; услопле се:.а:-:т;г-;гг-

■ г-,,"

:;оррэ;сг::а. сслл в ней kî cynocrnyo'r

cet.wiTK'ic-ent корргюта, если в ней кет прс?:тзрс>--пгвыг ¡лкрссперацда. Л:;? кифоопаратгл однсЯ микрокомакдк про-TüPcpíT.ínu, еелл гда Ui - условна i-й 1л:крзе::?ра;.;;:и.

. ;=1,2; где Mi - ктха ил оператора 1-й кккроокера-

lüin ( i«l,2). Шгет слог-з'-гл. при одновременном вклзлкешш услали;'! U1 л 1Л? пр?дп;*.сивае7ся переход :с различии! с^еду.з^;;; сос-;оакиям.

,"'.м агтотатагакга пгоцзеа воркфнгацип ^гкролрсграмлкого пвплакйл разрпботпз пако? диалоговых- программ Ilporc^así аакэ--н вицолкеш "Я я;ч.та .ГЛЛЛС-М и ориентировал«' па SZíli Езектро-:;ikt. 100/25 (СМ-4). ¡¿тсрспрограмчиое описание устройства под-« отпиливается разработчики в виде отдельного файла п долляо •доплотгорять сдодугадам огршпгсениям, накладеваемкм внутренней ,урной предстзпленил описания в памяти 3EU: I'1 етлнчество микрокоманд (МКК) не Солее 255; • ! ¡солпчестп дл-.ггельних клкрооперацж аз более 255; Z) ют.ш:чостпо входных и выходных переменных по отдельности • птерьгл.-<д? 123;

'■ i количэстпэ устыкоитьк слов не более 22; lî) штка (пои-эр !йК) лежит в кятэрвагэ С1-255). Гигдт ncorpatíí яср;ф:;-лц;п; позволяет провести еинтакси-

ческий и семантический контроль описания, а также моделировать поведение устройства по его описании для заданной последовательности входных слов и для некоторого множества начальных состояний. Данные для моделирования задайся на предложенном в работе языке и праплькость их (данных) контролируется. Результаты моделирования представляются в удобной для человека форме (таблицей ¡¡/или списком) в зависимости от значения параметра-представления результатов моделирования задаваемого разработчиком в данных для моделирования.

В процессе работы программ вери&агации вся нэоходиыая для проектировщика информация организуется в виде файлов, которые можно посмотреть я процессе работы программ или автономно после прерывания программы. Разработчик имеет воэ^сйлость управлять процессом верификации микропрограммного описали посредством диалога, активного со стороны ЗК£

Синтаксический анализ микропрограммы основан на введенных л работе понятспа разделитель, пара разделителей, основа смежной пары разделителей. При ешггакепчэском анализе проверяйся к выпз с£ср,г/л)1розанкь:е'ограничения и порядок вхождения удущсс операторов з микрокоманды.

Сеызяшческсыу анализу пэдсергаатся только синтаксически корректные микропрограммы, которые для удобства и увеличения скорости семантического »сонтроля предварительно преобразуются к внутренней форме.

моделирование микропрограммного описания, свободного от синтаксических и семантических оснбок, осуществляется ннтерп-ретативным методом к зшглкчаатсл в вычислении значений вьаол-

них переменных микропрограмм и померз следущрй микрокоманды для заданного номера микрокоманды и входного слова. В ¡¡ачестве основы расчета принимается синхронная модель функционирования управлявшего устройства.

Тагап.1 образом предлагаемый в главе 1 пакчт диалоговых программ верификации микропрограммного описания проектируемых управляешь устройств, позволяет значительно ускорить процесс отладки описаний устройств, освободить человека от огромного об"ема нетворческой работы и тем самым повысить надежность проектирования управляющих устройств и существенно сократить общие затраты па их разработку.

Глаза 2. преобразование микропрограммной: Формы представления автомата.

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

-Для того чтобы воспользоваться известными программами для синтеза микропрограммных автоматов, достаточно преобразовать описание ютропрограммы автомата а ту иди форму, исгодпуп для выбранной программы синтеза

Ко S-Л главе предлагается азгоркт;.« и программы преобразования ют^опрограшлой Форш алгоритмов Яутдиниросачка ПрСЗИПруОМСС устройств К ПОКОТОРКН EüfOKO ЙЗВЭСТШЙ ГйЗЛПГ.'ПМ переходов и выходов, штервальпим тзбящпу, ?rcneu? простых сзстеншй и систем регулярных виралгак». Црогрлм).^ пр-'обгдсо-ргига ссуп^стзляст яеслотяий диалог с польготателом. В р^зу.^,

- !u -

vino pusaru npurpa«»» прссОрароьаш;:« разработчик палучпхь о.>;к.!цг.о устройства в с?лной кз парощгслотик сори, о^орилзвпсо

г. 2ii>,'í- стдздвого файла, нодгото^я<5к£юго исяодазов&л ю-

|?«гкшя ;.porpaiüwan cpstssu.

A«ropitra прообрагов-ликл «'хроирограшкйй ¡JopHt: опиеашга i» тиЯ.шпз« корезсодыз к виходоъ есть иэдп^икация алгоритма, прэд-JL Е Иэдэьитын. Шд;4.:ка1г«1я вызвана >ядк1икаш«}& изы-ка i:;;¡cpucp3rp2]i!i Алгоритму построения интервальных таблиц и вастгш простых сгквэвцкй по ¡акрспрограш? азгсмата яе кается сригилальпымп. 2а основу алгоритма погучотй сисуэш регулярны/ выролений взят алгоритм построек;;.! систем:! сегуляр:гых eü-уилзкап пэ таблицам пароходов и выходов автомата, описаний Г. И Глуесоеыи, по в предлог-еннои в диссертационной работе алгоритм ¡;эт пзрэгсдг к таблицам переходов, а прзобразовашю 'ссуцзствляетеп непосредственно к системе регулярных выражений.

Суть алгоритма построения иптгрпальких таблиц зашкгается :i сошцтзплешш микрокомандам ишрсг.рограьгпюго автомата различных внутренних состояний интервального автомата, построении ¡•.итер^алов значений входных перс-типик, соотвс-тствуияих усло-г.нды «-.кроен мпкродамякды (с учет он длительных), замена услопил ;>с"1ггг'0 сгнратора на совокупность интервалов входных .•jupî'îoîKhu:;, построения иетэрадбэа, соответствуем установочный перс ¡¿-.maw i.S!Kpoiipc-rpaM)!U и вычислении по входному интервалу iie:cüTO{cn микрокоманды ссоответствукг-гго интервала зпаче-еухсдшхс пер.л'-ькнч и состояния, в коте: се должен перейти ¡нгг^рвалммЛ aaroi.ï.r.

Лл.! нос. ;ч:.-->1иы Сйкеэпцкшиого автомата кодируем различ-

ныэ метки микрокоманд микропрограммного автомата различными двоичным; кодами минимальной длины (=2^",.., . Взделяем в микропрограмме следуйте структурные единицы: микрооперация микрокоманды о номером II, длительную микрооперацию, фрагмент описания установочной переменной и адукиЯ оператор. Пусть в микрокоманде с номером п; есть микрооперация ^(У^;.. ,У/> пу),

где Г,у-элементарная конгинкция входных переменных, У^.....У ¡у -

список выходных переменных, - г>; и гу номера микрокоманд. Соответствуют простая секвенция будет иметь вид: Пу^'... ... У^Ъ1"... Длительной микрооперации Г,< (У,^;...; У^->п/(.. сопоставим группу секвенций:

Ч ' '}'/

г/ 7* г' • • • V' ■

Фрагменту описания установочной переменной X >п сопоставим секвенцию Обработка ждущего оператора сводится

к замене ого совокупностью микроопераций, каждой из которых затем сопоставляется секвенция по описанному выше правилу.

Использование программ преобразования микропрограммной Форш представления разрабатываемого устройства к перечисленным формам представления позволяет расширить возможности известных систем построения логических схем за счет добазлента языка микропрограммных описаний в качестве входного для них.

Глава 3. Реализация микропрограммного управлявшего Устройства на баге произвольного микропроцессорного комплекта.

О появлением в 1971 г. иасро процессоров в качестве наш а электронны: элеиинтов появилась возшлгхть реадсовквать днскретюя управляло устройства па только' аппаратно, но час-

тпчно, а иногда и польнсстыо прогрыадю. Таким образом, возникает задача разработки программы, в то время как "традиционные" методы синтеза ориентированы на роазраЯотку схемы.

Е настоящей главе предложны метод, алгоритм и программа, обэспеч'.'вакииз автоматизации разработки программных средств для 'микропроцессорного комплекта с Сикскрсгавной системой команд, под управлением которшг ижропроцэссорнак система выполняет функции проектируемого управляйте устройства. Для реализации алгоритма предложи, так называемый "моделирузднй" микропроцессорный комплект, лотовый отражает (кэд&ягрует) некоторые, сучзстпзнк'л для решаемой задачи, свойства реальных шкрапрэцэсеорэс. В языке модэлирущэго микропроцессорного комплекта предложена программа, 5:ктерпре?крущзя поведение ргараСаткзаемзгс устройства. &лерпр</:::;рук£я программа разработана в двух вариантах: 1) если разрядность слов, обрабатываете макропроцессором, меным числа входное или выходных переменных 5,а:крспрсгр£1.агл0Г0 автомата V число региатроз оберго иазкачэкгл ь аркф.йткчгеко - логической устройстве микропроцессора равно 3; 2) если разрядность данных, обрабатываемых микропроцессором, декъда числа входных и выходных (по отдельности) переменных мккроарограг&шого автомата и число регистров ебщго назначений в АЛУ мжропроцессора не кэнее 8. Предложены алгоритмы и программы перевода микропрограммного описания ^ ¿орму представления а памяти ипкрспсшссоркого комплекта к яраясляцга кктерпратаруЕ^й прегразды с кзька мэ-

дедирузчзгй клропроцессорисго ксийкысй в шкз ргги^аьк шк"

рспрсидезоорнак ксмплс-ктое, дл,; ч^гс. ¿ор;-^ пред-

ставления особенностей реальных микропроцессорных коятлектоз.

Предложенные алгоритмы ¡программы псзнсляет разработчик дискретны:; управлякгаг,: устройств ограничиться разработгай фрагментов из команд реального микропроцессорного ксмллекта для аамены :и>дой команды чз набора команд кодэ.зиру;с^=го мик-ропроцесссрного комплекта (чз~е всего фрагмент выролдаатся в одну команду), что гораздо прса;е разработки всего программного обеспечения микропроцессорного комплекта при репэгош задачи проецирования.

Основные результата р-убсты.

В настолпрй диссертационной работа получены следувздэ основные результаты.

1. Разработан па:кт диалоговых программ верификации мштроп-рограммногэ описания дискретных управлявших устройств. Для чего расЕгрекы всьмпинсстн язг.та микропрограмм ;; формализован его епктаксис. ¡(енкретпзироззно почятие семантически корршет-ной микропрограмм автомата з случае синхронной /.ли <чси(1::рон-ной с максимальным быстродействием его [додели. Предлолен метод и алгоритм синтаксического клнтролк микропрограммного описания, основанной па введенных понятиях: разделитель, пара разделителей, допустимая пара разделителей, вхождение пары разделителей в текст. Предложен нзык заданьт входных последовательностей микропрограммного автомата для его моделировании и разработан алгоритм анализа их :гарректнолсти.

?.. Разработаны алгоритмы и пакет преграш преобразования микропрограммной Форш гадания фуъ-сциэвчрозаяия дшсретЕОГО устройства к различным формам представления., вклвчая:

- 14 -

- таблицы переходов и выходов;

- интервальные таблицы;

- система простых секвенций;

- системы регулярных выражения.

Разработанные алгоритш псзволягг воспользоваться известными методами синтеза от перечисленных форм представления автомата для синтеза микропрограммных автс!.!атов.

3. Разработаны математические к .программные средства ав-томатизащм проектирования дискретных устройств, функционирование которих задано б язькэ МИКРОПРОГРАММА, ка базе макропроцессоров с фжсированкой системой команд, для чэгс взедено понятие моделирующего икрпрсцессорного комплекта с набором структурных и программных средств, позволявши удобно представить алгоритм интерпретации функционирования микропрограммного устройства.

Основное содеряание опубликовано в работах.

Д. Беляев В. А., Евтушенко Н.Е. , ..., Юфат Я.Г. Систем кои-пилятивного проектирования РЗА на ЕЭИЬб// Автоматизация, математически© методы и управление народам хозяйством. Тезисы докладов: -Изд-во То»як. ун-та. -1390. -с. 53-ТО.

2. ¡офит Е Г. Анализ и моделирование микропрограмм// В гл.: Алгоритмы решения задач дискретной математики: - Изд-во Томск, ун-та. -1679. -вьи. 1. -с. 93-99.

3. К£нт Я Г. О программе семантичнсюто анализа и моделирования микропрограмм// В ки.: Материалы научно - практической конференции "Излодаэ ученые и специалисты Томской области в девятой пятилетке". Секция автоматика, киберяет;ка, АСУ, под-

секция 3 "Теоретическая гспберяетита": 1!зд-во Тоу-сг. ун-та. -1975. -с. 93.

-1 Ефит Я. Г. О прогрета сст.тагекчесюто анализа мнкрспрог-рз:за// В га.: Материалы региональной научно-практической конференции "Шлодьгз уче?шэ и специзлпсгн народное хозяйству". Сегзпм 1яте;.'лт:пгл, кибернетики, АСУ, подсети АСУ: Нзд-во TcircJi. ун-та. -1977. -с. 119-121.

5. Е$кт Я Г. К юдвлфоззаазэ яжроарегрлш на 3EU// Техническая кпсорйэтпка.-1976. -?!4. -с. 123-123.

0. Юфэт ЯГ. Дкагогосэя подсистема отгадка »еттеопрограгяг// УСИ." -1833. -"5. -с. 114.

7. Юфят Я. Г. йззсбрззоваш«» iSiKponborpai&KCä фср«ы яред-сталлеп!*.'! сетсмзтсб// 3 печати.

3. Пг:?г Я. г. Счтгез [г-:!тспрог-р=?/:-.:<:н\ .автс;атсз на 5а?? \ivx-ропрсц®ссороз// В гл.: Ллгср;га"ы рвгэния Рздач дискретной tst-TO!STr:üi: 1йд-во ¡емок. ул-гг. -193Л -вза. 2. -с. 73-81.

9. э^ег а Г. Синтез jа'гооарегрг^лгаг азтаатог кп к:крссро-nsccopss/'' 3 сЗ.: Труды поифзрэгсши ¡ct. А. С. Попова "?адчс-тех-н:г--с;с-? ?-этоди и средства жляршк: .¡Ьд-so Тсиск. ун-та. -19В5.-"?сть 2.-с. 128.