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



raiiift госцдарстввмныА университет ин. Франциска Скорннй

На правах ранопкей

Л о .1И í Î С К И Я Лихаил Свавнович

УДН 881.3.08

метод » tPwm шшмм тоэдтЙэйЦМ

ШОКОЮОШВВГО ПРОШЙЮЗШШ ЦЙФГОЖ СЙСТЕЙ.

Специальность: OS.13.13. вачйслиШьнвв н&вйНв, кохплвпе«, - сисteten к tetH.

ЯЭТОРЕОЕРЯТ диссертации кз соискание ученой степени кандидата технических наук

Гошль, 1994

Гоиельсккй государственна цниверситет их. Франциска Скорннв

На ¡фзвак рухописв

ДО/ШНШШ Михаил Свнвнович

УДК 681.3.08 ЙЕТОЛ И СРЕДСТВО КОЫЛЛЕКСНОЯ АВТОМАТИЗАЦИИ ВЫСОКОУРОВНЕВОГО ПРОЕКТИРОВАНИЯ ЦИФРОВЫХ СИСТЕМ.

Специальность: 09.13.13, Вычислительна навинн, ивнп.мксн,

систени и сети.

АВТОРЕФЕРАТ диссертация на соиснанкз ученой с?впенн кандидата техничасииа наук

Гоызль, 133-5

Работа выполнена с Гомельском государственном университете имени Ф. 'Скорины

официальные оппоненты:

доктор технически!! наук л. П. Гагарин

доктор технических наук, профессор А. л. щевс

8 е « у ! а » организация:

ИШ системных исследований РАН

защита состоится

_ 1995 г. о 14 часов на

заседании специализированного совета д. 1ез. 01. 01 при всероссиис-кон научно-исследовательском институте проблен вычислительной техники и информатизации по адресу : 113114, Носква, 2-оП Кожев-лнчевский пер. , дон 146.

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

Автореферат разослан

Ученый секретарь

специализированного совета

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

Ольховский

05ДЛЯ ХАРАКТЕРИСТИКА РАБОТЫ.

АКТУАЛЬНОСТЬ ТЕКИ. РгЗРЗбоТК ¡i СОСГ НвИИН* КОМПЬЮТЕРОВ и nvi'tr, других аппаратных средств электронной и вычислительной техники сейчас немыслима вез применения систем автоматизации проектирования (САПР). СЛ:.Р, исторически развиваясь "силзу-ппс?"". предоставляет возможности автомап.зиг ?D3i:([oro üpoei iupob¿;ih*, э перву» счереаь^на г ranas конструкторско-техио-чогичегкого синтеза и схемотехнического моделирования. СукгствеиныГ! вклад а Развитие неводов к средств глточа.иэа-ции проектирования цифровых систем на эти* этапа;; внесли учение из стран Clii" Щрконенко П. Í1.. "«тагурои Я. Л.. Вернадский Л. ¿I. \1> ог-ця) Закревскии А. Д. i Эолоторевнч /1. А. < ¡|>лярчик п.> Г. IБеларусь). Большое вникание уделяется этим проблемам И эа рубежом; Но при этой сл^во решаются ияг вовсе не решаются задачи, которые возникают на более ранних этапах проектирования, к таким залачан относятся ¡

- разработка И отладка алгоритмов функционирования сложнк-: цифровых '•ист' ч ( процессоры« каналм. контроллеры и т. п. 11

- отладка на модели цифровой систены Программного и микропрограммного обеспечения:

- разработка и отладка регистровой схемы устройства!

- отладка модели проектируемого устройства (СБИС) совместно с моделью "окружения" ( с модельо топ аппарату™, в составе которой иудет использоваться проектируемое устройстве,)'.

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

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

Кроне того. и;>иичие Моделей иифрови». систем позволит I

- еинествеико облегчить процесс изучения Нн*гом<я tлетен Нги ип применении. Техническом обслуживании и ремонте)

- использовать модель цифровой системы как Формализованное тепническое »апанйе 11? Перепроектирование данной пифровоп системы ( например, с uentto занепы Устаревшей элемептноя базы н

- 1п,тн'трл но унгкъпппь совокупные затраты на сопро- эхденИе

« ОЛПР каиков применяемых микросхем и типоьых схемных решений.- -.<. ,

По по/у актуальной чнляется затачч разработки-1:ончя-М»то»то&-И— > '"-»ист • .щтонатизации так называемого bhcoi woDHPBoro проектирования ftntpoi.ux гисуеи. л

ИГЯЬ.'ГЛКОТН. целью писгерташш иялгетсй разработка комплекс- . ног^ метода и нрогрчнНных ередс.в автоматизации bi сокоурсбнрпогО проекгтонаиия ии+гоиу/ систем на базе 'RM PC - совмес иных I&BM.

. Jloc гэгсюаная при»- определяет неомодиность iemeim.a следуташоГ* залэч:

- рэяр.-чо+ка метода комплексной автоматам.¡ш<и высокоуровневого проектирования т*рот»нх систнМ!

- реализация прогрзнмных средств обеспечиваклих ¿втонатизашго ря. parti тки и исследования высокоуровневых иерархических моделей пи*-, Ровых систем;

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

- практическое применение г.ализованиыг програнняых средств.

»а злииту вынос. тся :

- I топ комплексен автонатиэапл высокоуровневого проектирования цифровых метен. в;глг>"чиящ. способы : ?

о построепия нзетраиплерчй формальной модели процессора. отра-яамяей сгма»тп«у •»ункпиипироЕан.ш и синтаксис описания его с- стены кончив, внутренней памяти и адресации операндов!

"51 поддержки нногоуровневой иерархической структур" проектируемой Пи»ровой системы;

в) обеспечения автоматизированной генерации Mo; глел микросхем , , tvjHfpoBH* . ялов;

• конплекс программны* средств автоматизации высокоуровневого проектирования цифровых си^тен,. включающий следующие компоненты:

a) настраиваемый отладч^к-иптерпретатор ассемблерных тччтанм (1НТИ?' • ' ' 1 " .

b) - ППП „втонаттоании иерархического проектирования пи+ро

вых'си<пе1Г (TzCAT»;

h)'программння стенд моделей микросхен (TzKESi;

г) набор программт'х средг. m технологического обеспечения разрапотчика программных систен (ТЕСШ"1) ;

нетопикл грименегчя разработанных программных средств для аз-

томатизироь.нш^о высокоуровневого проектирования аи^роннк •: и г три. • результаты апробации разраОоташшк пгограинга>: средств: ■И рл у работка геиги'лпа турбо-отгалччкоп ассенблернык лроп 1и< «ля различных ироиессорош

б) Формирование интеллектуального справочника полелей нихросдп. и) иогтго'лше и исследован-? иерархической подели 'I рчзрмян*»! о процессорного -•яркрптл К)1нИПС|.

ИМ"ШАЯ пияизпл гаеочн заключается и следупиен : нр'Д'юялм ^гмпнчып.шиая модель пгоиессога, озсспочниаи-«паи описание тшутрснвей'пиняти нропе :сора, семантики его системы конлнл, "-¡(огоб(>о адресации оперятюр, синтаксиса тсапстстнукпего ассемблера;

мзгаботап метоя автоматизации гчсокоуроннеютв -пгттктггргта" ция нифр^пнк систем на основе проблемно-огиептироплнпоп Формалина-нцр их рпртпия иитррфспсои и алгоритмов функционирования;'

предложен метоп автоматизированной генерации моделей микросхем и цифровых узлов, иозволяивий интенсифицировать процесс перою-ла'от фушишппапышх еяен нифровык систем к ик припгдапиапьиин схеиан. иглктсгжкля значимость работа .аклю'пегся в тон, что • соппзц,, программное обссиечеш.э формализованного описания и 11Со.нод.л!а|ЧИ| проесчсорои на уровне системы комал. пысок-^говнс-рого перчсх-пескоро проектирования цифровых систем, автоматизированной репарации молеией микросхем н цифровых узлов. тех"ологичсской поддержки р 13рабо'ьси программный систем;

1м:ч'л'^гтаин методики формализованного описания и исслслова шт цротчторол. низкоуровневого иерархического проектирования пиФрория систем. автоматической генерации моделей нигроскеь н аиф-роннк узлов:

- создано семейство отладчиков ассенвлепшх программ длч про иосг-01'оп газинчния архитектур и сфогмироваи интеллектуальный сира-почтпе модеясп микросхем;

- средствами созданного ПО выполнено интегрированное исследование 1 разрядного пгопессорного элемента К1Я0»!ПС1.

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

ггллтли.мя о плго/шон хозяйстве. Основные результата данного

исслег-шапия использорались при вннолненнн Гои^льскин ушверситвтон îiri. Ф. Пкориин следующих хоздоговорных НИР.

1. кл 87-от " развабочка пакета прогреми для ыютрунгптллщой эвн, обесцрчипаюяего полуавтомгтцчв куп грцс-'.'Зйир tíctou пиФ"о-а на л о го bu í узяов и tijioi ni рчлиоэг.еитрочной í\maPüfyPil" (гос. per. Но .Н0Т0056ТЯЗ, 3si; i. ОТ-ГТ Но O289OO0Eb?7> в 1909 Г.

?.. ХЛ в1, ?л • разработка бя5.и«те«и прогрзнн мокрей кнкроскен серии К130С для ЦПП 'Тестракет" !гос, per. Но 001в90000'|в», ззкл. отчет НО 0г90001963'П 3 »909 rv

3. хд ы>-оз • разработка астоц-'тизиросанкоО сцстош управления развитием локальной j—фогнаииошт-управлящгр г ¡чисдаголыюй сети для CA"P/ ''AU <ACVP /1ИУШГ (рос, par. hi> Qlfl600l«793. pawt. отчет 1(0 Cgnr23003> U 1909 г,

«I, П>'машиностроение ; «мггрнатпэчпип тсвполопш нссясдоппп',;"! пгсентиропанн i и щравлоиип вчаделитедыщ» "ропессои о ЭР», комплекса?, и POTRS ЭПН О'ОС. ррр, JÏO 01SIC01799T) П 19?£г,

s, евин 91-03 "Разр..ьотка снегом« нополировгзвд нителлэктуаАЬ-ННХ систянЧгос, "ер, So 0ielGL3GQ93) В 1993 Р.

Разгадотанцое tipc .•раи.ниос оаеспвчелио аптонатезпшде прорктяро-■рання инфрони/. устройств ркгдпено t! СКВ П PTQ.

ппп "Тестг.аке^*, í.TU^r. TïCAP, Тгккя шшдр01д| р г^ебпь'Я ppqiïbcc натсиатическпго - 1нз|Г--,с;;эго Ф."ЩУ-1!>те ¡он ^оноямкогэ Гйсудлрстоец-иого лиютептета кн, •$•, Скопищ и «сполмуртся пгл шда,шеш<и адбр—-ратопткя работ fTteüTaim сцеицая' цастеЯ £P0t « ¿£01,

лкго!7л:;.о": рлкотц. гсн*вдц8 пололсишл к па'*чщ!а результата раб oïl! чокдадниалис». а овсуэдались на лят- нет.кгтцч..'ш;п конференциях : "Актуг тьиио проблем ^тяионтрпьзд* iií.j'i:*, р, Москву С 99 J г) i "Лнтоизтгэигомино» прмктяролзнио pawiosjtoirjyppjioft щпарзтгрн*.

Г. Каунас (Í991. 199Ê/Î *ш1фор|шшошш9 ТО8!19Л0П»Ч 1! Cfir »EKW* Г. ЛЫ80Р ()993)! "Яробпенн иатеиатакН И 'ШФорИи nu:j!"> г, ГоКсль(19?")| а так*»1 «а 4 ïicetînattut Kn4tarotr.WHK¡ 'Иат-чиг.цчасксе % ниитанялнпое нолелнповашт п систркзх ppopîmîpoijaimn и травления" i г Чернигов *iH90h "''оделиропапио систен «щФсрнагад!*! р.Норо^вбцрск (1990). "Из генетическое с Машинное Kone«upjP3imt.'"t г. Вороне« 11991', •Ьош.осн экономики к хн^орнаиионКне гевнолопш*. г,Гонвт <»991».

itVbViüK/MMt. оскопим» рззтлат» диссертант оцусликепзпи в гь Печатан* работа*, а тьим S отчета« НИ/' ttv ne коз.юговорнцн тсиан. СТРУЙТУРЛ 1'ЛВОТН. ЛИССРРТПЧНП СОСТОИТ »53 ЦПОДЙПИЯ, г1тя глав г

б

эзгсиочрчпя. ип ! т страницах. списг > лнтерат. ¿>г ( 97

нзинеиояапия) ч приложений.

СОЛЕГЖАППК р/"ютн

п? пприрнин о()9С1ю»апа актузпыюсп выбранной тенн дигсертгшга. нгчведспа обшая постановка задачи.

ПЕРЕС.. Г/Ш>8 чачгпхггся зюяяз егчостаггга; пстсдов и средств рмсочоггогчокой -азрабо.ки и исследования цифровых систен. Рассмотрены проблемы высокоуровневого проектирования цифровых систем. Пока-г ш; актуальность автоматизации процессов высокоуровневого проектирования пифювыя систен. Рассматригизтсп /азличные подходи .. автоматизации. ОсСо к делсго пасок урорчеооо проектироаашк. цифрот<тг тен с испог.яованиеи языка У1ГОЬ.

оопеприпп ,-ни является выпелени., следтгпк уровней пр.?ект;!гг; иерархии :

а) системней - ког5а цифровая система описноастсп клк н-^ор пзаииодейстпгагшх по времени компонент нлч процессов, при этом в' ос иовном онеьии птсп обгаие "реме .иые характеристики проток* -.тих про-нгссов и '(Р.-н;тчч("-кч т. прштнаптся по внимание то^.аи. промесгч пе-реглб' 'кн информации в компонента« системы:

б) аш .эрп.иическнй - когда описываются алгоритмы поведения системы, один и.ч нг 'нариаитот - определение сигтекы исполняемых команд

( инструкции ) процессора к исследование ее возможностей и характеристик;

п) ре-'истровдк передач - когда цифровая система представляется об.еш'пгмием взапмолсйстя/ютих пи'ровых функциональных компонент : с ..амя-Ы) г триггеры, регистры, счетчики, регнстропые Файлы. ОЗУ, ПЗУ)' и без панятч 1 мультиплексоры-ден/льпнг'ексор :, •~иФратог',-д<:1 шифраторы, сум,,агоры, схемы сравнения. ... ) и анализиру"1ся~то~'— ректность выполнении функций .о переработке ииФорма! ш системой, являшввея обье/иыепиен вг жнолепствумшх Указанным образом когчо-нонт;

г) логический - когда систена. пре. став зипая на уровне гистг вых перрдач, детализируется до лентильногс уроьия - Или ло

урглогических функций выполняемых отдельными компонентами, олгеаеленнгчи на yi .»вне регистровых передач; '

л) схемный - когда цифровая система представляется на Физическом уровне легализации и разработчиком анпизи°уютпя как исполняемые процессы обработки информации, таг и разноосра-ныа Фпические характеристик" : вмененные, электрические. теплоЕыс ...

Исторически автоматизированное проектирование цифровых.сисэен_ разаивг^тся от сменного урокяя к уювню регистровых передач. параллельно par зиоались "-акхе отдельные средства на системном и алгорит-ни"ескоч уровнях. В нас~очшсе время наиболее актуальной является организация цепочки сквозного пг екгировэчия от ;истемного урс-зня к схеннону. / наименее разработанным и наиболее сло.^п-ч участком в этой ие^очке как р^з. и является синтеь высокого уровня - то есть переход от спецификации алгоритмического уровня позеленил лк^овой • система к _тр»ктуре уровня регистровых передач( котор я реализует это поведение. Большой интерес представляют также средства вериф! нации системных спецификаций на алгоритническс.1 уровне и уровне регистровых перьдач. * в последнее Ю-летие в э-'ои области вед у теп интенсивные иссле-

• допат.я, предлагаются p¿jличные средства описания системы на алгоритмическом уровне от языков программирования < Паскаль, Си. Ада. /.ríen. Проло") до языков описания аппаратных "ресств. подобных я?чкам

,, прог : анмг-ювгнкя ( tsps, d3l, HlfMA, Veri lop. vtffiL ». Инее гея также г:'ря.: отечественных средств описания л моделирования цифровых сисин : nv/.ьс. кодэпс. кошшиия.

Бол-вииство из них ориентировано на "Уровень КС" и в г-*яэи с этим имеют ограниченную алгоритмическую "иоиность".

Ос->бо следует отметить язык описания срсрхсчоростк^х "5ИС VhdL, Который сушестьенно поддергивается ит.яст^рствои обороны С1Л и между-нлродным институтом иажгверсв электроников и радиотехников ( ix.EE j.

. однако гаже для VHDL будНее не представляется безоблачным, и потону наряду с раэработ:мти средк. гв поддержки Унвь-проектировзния ведутся активные поиски новых сгедств и разработки соответс^умпиУ - программных комплексов высокоуровневого синтеза цифровых систеи. "Т;Долее приведена постановка задачи на разработку экоперименталь-

* !иог*0 .ютода и программных средств комплексной автоматЛзапни высокоуровневого проектирования ичфровык сИМгн, Задачей исследования яв-ль.'Тся :

а

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

- реализация пг ^гранмныя средств, обеспечивают!» автоматпза«но разработки и исследования вцсокоуювневых иерархических ноделей пирровых систем,

- разработка методики испо"ьзоваиия разработанных программных средств при высокоуровневом проектировак ш цифровых сис/ен;

- практическое применение реализованных программных срсдств. '

по втогоп ГЛАВЕ рассматривается формальное представление проектов цифровых систем на разминая урсанях а* гализавди. Чля описания •ллФровой системы на агхчтс'сттРйОй уровне вводится метаассенблер 1НТЕП, который содержи г набор декларативных и алгоритмических возможностей. Декларативные возможности позволяют : объявить обьект процессора, целочисленный или веществениый регистр, задать Формат вещественных чисел и таблицу кодирс вки. Алгоритмические возможности IHTER'a базируются на широком наборе нвтаинструкиий, последовательностями которых можно описать алгоритмы выполнения инструкций лрй-:__

пессора. Пои этой з качеетр« опггпнзсв кетаинстчукний могут быть использованы декларативно определенные рзное Э"еьенты памяти : on, стек, регистры, Флаги ... Ha'Jop нетаинструктай является практически полный и включает в себя нетаииструкяии ; пересылки, целочисленной агиФметики, логические, проверки условия н передачи управления, преобразования десятичных данных, десятичной арифметики, преобразования вещественных чисел, вепествеиноп арифметики, а также ряда встроенный фу.лший вешественной арифметики ( SIH. cos, Lor, ... ). Для реализации префиксных инструкций описываемого процессора рредэ-ва специальная метакоманда PREFIX, определятся наборы нетаинструк-лпя. вызываемы!, перед выполнением соответствуете!} префиксной инструкции описываемого процессора.

Для определения синтаксиса ассемблера описываемого процессора' вводятся сяэдущие нетадекларадии : определение меток и имен оперативной памяти, комментариев, псевдокоманд определения данных и резервирования оп, инстр/кннй и комбинаций операндов, связанных с группами инструкций. эквивалентных по операнда«.- Для определения синтаксиса операндов и способа их вычисления на стадии интерпретации вводится метадеклараиия cpggAHD funilAT. Имегтся возможность , связать с операндом набор Ф>нкиьй, состоящих из иетаииструкций, и выполняемых каждый ргз до и/или после вычисления соответствующего

операнда.

,длч описания процессов конпозииич-деко шоэчяии цифровой системы

«

вредост-вляется несколько язкковик средств, разлнчзшияся пс-гибкости и сложности описания, сродста де.«жпоз1шм нетагссенблера ттзг предлагают идисзт*- злго. чш? дояюмпоирнт ка?с нета^ункашг. а сэязи между подконпоньйгаии как нетафунквдн транспортировки дгнныя .¡'ли • посредстрон ¡»¿лощения соолзетствтшия областей данный.

Средства К6К0ИП031.Щ1И ТгСАИ г^едполагаот графическую манипуляции коипонгатшкги подконпонеятаиц. Средства дгкопюзииии языка ЛЕТ!< о5еспеч«Р№т текстовое опцса.иис редконлеяеит пнфропоп системы И связей ньжду НИШ:. ?) ссор очередь средства декомпозиции ХСО юзролг.»т ис&ользова прсзлеино-орнентиропаиного диалекта языка снстещ.с.'о пробам лрорзинч с.

Ключевом Фактором а4фсцт|!Рчостя гграркическоп подхода к проектированию чьляется преллагггшя кезор угобчих средств создания моделей компонент различного класса сложности. При ь-тон простил компонент ноделн создаются прост,дач средствами, И лишь усложнение }{онппнецта вцзрв'зт ддекрдтаое усмхпещ>е средств создания ее моделей. Ниже перечислены .;редлггаецке способы соэданяч колпонент пирровых скс.ен. -

йдп логически.. элементов - во урлотшм графическим обозначени-ШУГО). для коиПша«ио:ищ скея - габяичзи 'истинности. Для про-стердач Э'-тоизтои - по и;; логический ^упкхигяп. Лля типовых цифровых уздоб { «еннфратчг мультиплексор, судеттор, триггер, регистр счет-вдк, 031', ПЗУ | - (¡о до;слаРЗТ"шшн поч?М!ИЯН тн.ювык описаний, для более спо*»шх устройств прм1е»йртся расвйгетЗД! язнк регистровых пе-ргдач я«6о п* ¿блвнно-орцеитироцщдая /"чален-* язцка системного прог,-раммя-'овалня с 1 щ которнв р^оадагается огзцеиват?» алгоритм функционирования компонента ) или 'синтез инкропрограмииык автомате.

Положительной особенности псследлего способа ярляе~сч то, что набор сперамы я п^ограння кик. опг.огргннн'То автомата определяются средствами нетачесен^лерз ЩИ?! после чего автоматически производится си1..ез логически* функций Функвиончлмт компонент соответствующих опергаионного и упра'влягшего аттрмата, причем в обозначениях микроусловий И Микроопераций, аыденкнх разработчиком микропрограммы. '.

Д~лее рассматриваются этапы процесса автоматизации высокоуровневого проектирования с цель» анализа эффективности применения прег-

латаемого нетола, соответствующая иллюстрация пгивепеиа н<1 Тис. 1.

Первый эти Нормализация предстлплений о пяоекшруечой «иконой системе. Поскольку предлагаемый метод включает соответствующие Формализмы из пг.ех урорг'чг; реализации и сна',*ен методикой птоектк-рованич, то Формализации г.с гамемнй о проектируемой цифровом системе превращается в набор детерИенированчн* гаагов поиска отпгте» на конкретные гючг-и п. чт-г существенно сокгяшрг тргдор/жость и пго^гн-пне эатр-им < -игм'.е данного этапа. Важной особенность» является

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

Второй этап - разработка программной модели проектируемой цифровой системы. Идейным базисом предлагаемого нетопа как раз и является практически полнее исключение этого эт-ша. Для формально описании* на первом этапе компонент программные модели генерируются автоматически. Необходимо так*е стнетить. что, пговктйрортику. искуиениону о программировании, оставляется возможность использования я:.-«ка программирования "С" при разработке меделгй цифровых систем для любого уговчч детализации.

Третий этап - разработка тестон, и миги руки'я внешние позлспст-вич на нроектиг-уемую систему, отличительными ососеннсстячи преялага-ен-л'о него/и и л т-чтчм дтапе являются :

- предоставление ииюкого спектра средств разработки и Форм представлен)'-' тестовых воздействий (от традиционных 01-файлов по ассемблерных программ),

- возможность автоматического получения тестов для компонент

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

Наличие гахих особенностей существенно снижает трудоемкость разработки 1 еетов и повышает их качество.

Четвертый этап - моделирование проектируемся цифровой системы. Важными особенностями предлагаемого метода на данном этчпе являются:

- ургавлеиие прсектировшиком уровнен иегарлии любой компоненты;

- обеспечение независимого мепелиропаь.', компонент любого уровня с гарантией корректной работы кемненентн верхнего уровня как ко-нпоянч с, ио( ,!^к<?ит нижнего уровня в случае корректности независимой работы каждой из них.

Данине особенности приводят к суиественному сокращению суммарного времени моделирования, а также к упрощению комплексной отладки

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

пятый этап - анализ результатов моделирования. Существенными особенностями предлагаемого метода на этом этапе является :

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

- в случае структурных и Функциональных схем возможно символическое отображение сигналов < ADD. SUB, Open, Close ... i вместо обычного набора О и I;

- по потребности проектировщика в существенной степени может сыть задействован аппарат автоматического сравнения результатов моделирования с эталонными реакциями ( заданными проектировщиком на всех или некоторые сигналах схем ! либо с результатами моделирования верхнего уровня детализации-

Данные особенности осеспсчнвапт повышение уровня интеллектуализации анализа результатом моделирования, освобождая проектировщика от значительной ч^ои рутинной работа, что приводит к эффективному поиску и устранению оаибок проекта.

Таким образен, применение предлагаемого метода комплексной автоматизации высокоуровневого проектирования в целом приводит к следующим результатам !

- упрощение процесса формализации проекта цифровой системы;

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

- предоставление проектировщик/ богатого набора средств автоматической генерации моделей компонент;

- обеспечение пгоектирошика кнрокии выео» .н средств разработки Тестов!

* - сокращение суммарных временны* затрат на моделировш ..

- интеллектуализация процесса анализа результатов моделирования.

Все это и приводит, в конечном счете, к глобальному сокращению

времени, затрачиваемому на разработку и вериФикачи» проектируемой шаровой системы, а также к суиественнону поЕдаеишо )ичестР4 верификации проекта.

<:хкнл

мл

ОП'АШШШШ i'IJ' i if.. iVi . ы'ымлглют.ш" tit ; ¡I ПА

i к; шчжмнговаиин

Iii .1111 'il.M.lh .и АКП.М') и;>личи.

ЭТЛИ 1.

■К^НАЯИ.'МШф í)¡>M';'i,mi/U пни

VFHOB

ЭТАП ?..

(•AarAl-'i/j'KA ¡!i\> ЬЧИЖКИ HuW-vii

■Wl lJ.li.lOLl.tl'HU''

. >■• i.m/ишчА

' \ - -л

IUI

11141

iOPHdilbSit'i.; Oiliii .¡'И!.'. IUI re-puf"»'!'.» 1o i CCrt.jll ГИКИ DI'öM'C. í.j j

и

нет

/ ■ /\ ч

(V.)ÏUO \

■ <( Cl'filSOÇHPOHSTÏ. > —

\ -------/'

\

1!.к.'Л spOUHrtilbliUX описание

«лиин н.ч стн.ыюн но Vi o

I/O ЫЫЖН.Ж НСТШШОСТИ

ПО id'! ll'll'LKHH функциям 1.0 »aHoiiii« онииаииян

НИ «13ЫКГ- 14'I И С I POtiUX

m; PC« .14

никгчличм'рлпня автомата

^орни/шзовлнние

ИМ'ДС! llifltlIHll

"Г

\l-J

Í Ли ¡'Мй i ячеек;»)

I I t'IltîP.lUCH

;н'. гран!< ни/и.'леи

/ - /Ч - - -пег / Пулен

дчкониотжроип ь>

\ - Ь- ■ /

¿да

•йеконмозиии.ч одним из ciiucoooi): • графическим

- тсue'iomiH

- iiporpdHlliiHrt пзаимодеистшм процессорны* элемемтои

ilí'./i'P.iHMiiiHiHaiiiit-KUHfluilt'HTU un clJ

■JTfiil i ^А^кд

этап <».

МОДЕЛИРОВАНИЕ

ЭТАП

W

Шня

HPOIT'.lMHiMH HVHí'llh

un íi'<> huh с de тепы

■ÍOPHHPCI). utile 1 f CTOU ОЛ1Ц1Н II.) ..UL>(. OÖOH

.1' (. СНЫК'ИЫЯ ПРОГРАММ.!

к.стоыш црогр.шча - гиеииаиыюя uwtKuHiloiiiMim

ui Файед

¡Г' liaöop ¡__Т^Ч-'Ь.__I

иерарянеи _ I

I Результата î

j Ьоделироианн» й

х:

Анализ ре шцлаюи моделирования m?iii>c!'e«cißc»iio па структурный. цршшнииадышя ежена*

ciíiiiw.iii'jtíCKOf о1ч>Ь(ч>еиис значении сигнаяо» -------1 сравнение результатов ноЛ

aiiroH.i шческое

«ункционаАыша »uui

iVUIPOiiJlliW

РНс. i

И" i

ъ

в ТРЕТЬЕЙ ГЛАВЕ лано описание программного обеспечения, геализупвего поддержку высокоуровневого проектирования цифровые систем. Комплекс программных, crear r-t автоматизации высокоуровневого проектирования цифровых пелся, состоит из следгаяик компонент:

- настраиваемый отладчик-иягегпгстатор ассемблерный программ (IН ГЕЕ) ;

- ПШ! автоматизации иерархического проектирования цифровых систем (T7.CADI!

- программный стенд полелей микросхем (TzRES);

- набор программных средств технологического обеспечения разработчика программных систем (TFxiífíO).

Настраиваемый отладчик - интерпретатор ассемблерный программ 1H1ER позволяет вводить и отлаживать описания процессоров Фон-Нейма-новскоя архитектуры и их ассемблеров, эффективно отлаживать ассемблерные программы и исследовать системы команд описанных процессоров. Для описания сенантики процессора и синтаксиса ассемблера используется описанный в главе £ язык нетаагсенблера. система обеспечивает пользователя отладчиком со стандартной многооконной турбо-средой.

Система иерархического проектирования сложных цифровых систем TzCAD предназначена для высокопроизводительной разработки слохных цифровых систем. Условно процесс проектирования можно разбить на три этапа:

- описание и создание модели цифрового устройства (далее (1ЦУ):

- создание тестовых воздействий (далее ТФ);

- ссбстве"но моделирование и анализ результатов.

Нодель цифрового устройства(HUV) может быть описана как "единичная HUV (т.е. как одна HUV - одна компонента) или кэк совокупность нескольких tffiV. другими словами "композиционная" HUV (т.е. окна ЧЦУ - несколько компонент). Процесс проектирования производится до достижения пользователей такой глубины проектирования, при которой юшшнолементзгкым) базисом модели является множество ИЦУ злеквзт-гшз реальным(Физическим) цифровым устройствам. ----------

Программный стенд моделей микросхем ТгйЕЗ предназначен для быстрой и эффективной разработки моделей компонент цифровых устройств (никросяем! и предоставляет проектирошкку слевушие Возможности :

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

I<i

иаписангых на языках регистровых пе1 .гдач 'еять) или рробло!- ю-срийн-тированном диалекте с (со),

- автоматическое подключение яових поделен микросхем г- указанные библиотеки(серии)I

- несколько способов визорг* микросхемы: иерархический спуск или по типу; ' - — ■ ■

- несколько способов взаимодействия с нс-голы •••икро.-хепк:

а исследовательский бс-з предварили «г-й подготовки. хогдх пользователь гассгэдщет зи<>ч«мы на входах УГО никросземи. реакния микросхемы ррссчнтвдается из нодлди " ,;<> ь«"»»«'»

их»;

■>1 исследовательский с предварительной подготовкой, при котором пользователь готовит ФаЗД с входными воздействиями и эталонными реакциями, а система вводит их. вычисляет действительные реакции, сравнивает их с эталонными и в -ЛУчае сяибоь сообщает об этом пользователю;

в) контролирующий, когда значения па входах расставляется с«"чгй»«н «?гг: ей- п- •ль^сг.-. те як бичсу:: ;:счмо.ч, :•.■:•;'!■*•'.'-? етм-

зниьаогся с реаяьчими. Об сшнбкал сооагаается пользоватоя». Ргл»тс.: гакло интегралы:-»'! учет оилбок.

~ си^й очередь, набор доэгы.<киый ;стг т.киом» ичгсктс г,егс ;;<,-.«!)н.ч ра^зг»лка ВРОГ? ^«гиих снстсч { тссчко ; таг«:- с.-гст&пг из .^¡.¿лшяя юписюиг ыа;:ис.чещ:я : юпеггагсрз прргрлш Г; ДЭН-

ны;-. ;лсшг. яоипаехсз аатс-идтигади!« I» огран:пшх систем

«iiii.fi.«. демоне1|го1 раммных систем "5Е1Ю. ушшсреального кттак-(.ичес;-.ого анализатора иК18АН.

ЧЕТВЕРТАЯ ГЛАВА посал-лжа разработке текиогсги:: вдеокт/гопиевого ычаьделгьашм ¡.й.гоьцл систем на иазе размеотзипи* т'ггрздиниа ыс^цдй^аа. предлагаемая реализация разработашю.. технологии состоят, из э-а зталов. Первый "тап (разработка и исследование спстгни команд проектируемо,"о процессора! включает л себя пос.челсгт.тсльнспх. действии '

- ош еделить элемента памяти процессора (регистры. Фляги, стек, оперативную память), указа .'ь их «азрядностп. способы расположения байт о слове и битов в байте, таблицы кодировки символов;

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

- описать синтаксис ассемблера. При полном описании синтаксиса необзоцино определить рее четыре формата гссенблзрнык команд :

1 <строка ко..нектарин»

г. <иня константы» <коман"з ттпа equ> чзначение константа»

3. i<iiMH ОП>1 <ко: айда обьпления> <данные>

I<метК">J П'ПреФикс>5 «инструкция» 1<опвгандн>)} .. ... ;<коннентьл.л>1 Таким образом, нгогногиио последовательно получить следи-ршую информацию ; как задается строка комментария, формат за"иси имени константы. псевдокоманду задания ионстянтн. форгат записи имени оперативной памяти (Бозно.тные символа, максимальная длина и т.д.). пгев-доконгнду ооьявлени" оцергтивчой памяти и Формат записи ланвык, Формат зг.пмси метки v поря конмечтарр. Затем для инструкций указываете!} допустимые комбинации операддор. ВРИ необходимости можно задать так*е b'j-енч выполнения каждой инструкции h ее размер, а для операндов задаются синтаксис написания и способ вычисления"Операнда™

- заканчивается зтьл разработкой тестов ошгакных команд процессора для автономной цровер.эд лоррекчно^ти введенных описаний и набора т»стоеах программ длч комплексной рроверки введенный формальный опмсашда. Здьсь *е цо*ет бить ЦРоведрно одр^комаситабное исследование зффективн стч ир^длс^енно)! архитектуры на базе предлагаемый комплексом 1ЦТ1ЕР средс~в. Роздало та.;*о однорремепная г^оработка Н?сколькик в4Р((ацтоь зрантектурн. ЛАЯ каждого из которых используется ЗПрсзнроранное ^гчее множество Т<""Т0Р-

егорой зтап (неРаг";ичес)'О0 яроькти: ор^нрв «иФророн системч) в^лрчэет е себя пос.1едооателМ|УР яеяонвозчцир-конпогриию предложенной системы, при -1Тон возможнч раэрароткз системы как "срерху-рниз". так !'. "ечнзу-йверв". йажно о'.нетить. что ът №&ofi из введении» под-коьцонэит можно ciiv8!> применить методику этапа t. При этой наряду с разработкой Н0ЭИ8 тестов, «окно (! нужло использовать и ^естн, сфор-(Ироргчцые На j-оч зтаре. р этой случае г>зэнбот«и;! " больвод цолер вероятности (которая этически определяется уровнем репрезентативности те тоа 1-го этэдз» ио«7 ечн'-ат1-, что если псе реакичи на тесть первого зтап? для декомпозированной системы совпадает с реакциями нед.конпозцрованной системы, то дрк(..1розичня проведена в'рно. J( далее он цме^т право разбить терричнУЮ болыяу» чудачу пр^ектировг жя цифровой системы на ряд НЕЗАВИСИМЫХ меньших зчдач - пяоектир.ваниз введенных поакс.тснент атой системы. Конечно, сохраняется возможность

в лгбой чонент поовести комплексное тестирован! . предст-вгпя любу» конпоньнту на ■ ребуемом уровне детализацнг С.ушествеянкм является "анде и т^г »акт, чт^ теста дл). каждой подкомлоненты могут быть агтонапмес! л получены во. время имитации.'

Третий этап - создание цельны» Иодепй кс понент. ЭФч* ктавностъ .этапа к ^мпозишн'-декомпозицин в сушественнс-Л степей" определя тся возможностями эффективного создания цельны? моделей конвоя ят (моделей, которые на данном уровне дета; шашш считаются оконечными, т.е. не имекшиии подкомпонент ). К :< раз для повышения эффективности создания Полелей таких компонент цроектг^овтрчу t» предлагается богап i яабср соответсгвугетг срглстЗ,. яаиеленнып «та тппшнй-зашда трудозатрат проект.¿ровиика. и сокращению требований к его ..а-* выкам в обвении с ЭВЯ и программировании Логические элементы улоб-нг с-здавать в специализированном Редакторе VI о, коМбтлшюшше схе-tu - заданием их тэблин HctmtHocTrti типой ; узлы (Дешифратор, мультиплексор, crw&DP, тиггер. регистр, счетчик > - гто .ляя тяпо«ы_> оьясания ( список типовых узлов Может расширяться преектировпгчон ), длл схем с память» и/или сложшнн алюритнами Функционирования пред лаге^тся целая система преемственных яэнх^ч описания, обеспечивайся описание более ьростых элементов более простыми средствами: язык логических Функций, язык регистровых передач, проблемно-ориентированный диалект языка истенного прогрг жирования с. Наконец, для чикропро-грамнныч -чтоматов пред агаьтся средства автоматического синтеза логических функций и/или функциональных схем соответствующих операци-огного и уп: авл.тшего автомата по заданной проектировщиком <и отлаженной в iHTERe ' ) никрог^ограмме, причем все обозначений. с«гналов_ будут взяты из -икропрограмны как ее микроусловия и микрооперации.

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

В пятой ГЛАВЕ слисанч результаты апробаичи метода и ярогрчя-' иных средств аЕгона.изаоии высокоуровневого проектирования цифровых систем. Наслаиваемый отладчик-чнтерпретатор ассемблер-чх программ ínter был приненеь для Форгэлиэованного эпйсйИия архитектуры ряла ЛЗЬестНЫя процессоров : ЕС ЭВН tIBM 360/370), О» ЭВН (PDP-ill, IBM PC (Intel 80вв/вТ), K58G, Z80. APPle (650? , никоокалькуляФора ИК-61. гипотетического PoRiíl - jponeccopa. тлкропроцессэрно.о элемента

k16v4b^t. д.г1 каждого из „тих процессоров о-исаны соответствутигие ас-егблеры. определяй регистровая с\ ргктура и методы адресами опе-рандор в Ч!'"ло описанных к интерпретируемых инструкция включены практически все их инструкции двоичной. двоичы -десятичном, символьно« и вешеигвенпй арифметики, "оп.ческие и битовые инструкции инструкции передачи управления и пересылки. в процессе еводз и отладки ">рмзлизован1Шх опипний подтвержден^- вчсская текнологичгость,про-гран.чио; системы !НTER (при наличии г разработчика Адекватного пред.-ставленил v6 арчите^ -уре соотне~-твуюшзго процессора е^о Формализован >ое ^писание может вып разработано за несколько часов). После чего проектировщик автоматически пол/чает современную -урбо-среду отладки ассемблерных И'огргчм описанного процессора, вклпчаю! гю : многооконный интерфейс, выбор языкг обшения {заложены русский и английский). Кроме того, пользователь может ввести адекватные с. обшсния на другом языке, использовать встроенную поношь по турбе-среде , встроенные зкра' ный редактор и отпдичк. Предоставляется та^же целый ряд дополните --ьнгх возможностей :. контекстно-чувствительная поиошь по описанному процессору и его ассемблеру, инкремент?пьный синтакси»:?сккй гчализ. проодиный в фоновом рыжине во время редактирования текстов програнн. что существенно сокращает время перехода от редактирования к интерпретации, инкрементальное частичное выполнение во время ре-дактировант текстов л"01рамм. что повышает производительность вс время whtíрпретации. автоматически проверка тестов ( сравнение выражений над операндами по ходу интерпретации ). возможность отображения операндор программы в произвольных места? произвольной- зача-tiee пояг о говл°иной. картинки, имеется также встроенная сист на автотестирования разработанной системы ксчанд на множестве подгот^влен-; пых тес. >в, что позволяет эффективно вести интеггальный контроль за сохранением корректности функционирования после модификаций Форма-ш.зованныг описаний.

с ломошь.; программного стг нда функшюнально-логичрских моделей TzRES был сформирован интеллектуальный справочник иоделей микросхем серий Kloo. К132. KÍ33. К134. К155, "KIT"/К500, К5!Ч.К5,30. к?зз, К537. Ь553! К056. К561. К504. К5В5. Х560, К56? К599. К1500. К1533 К15б|.; К1604. К1609 обшей численности до 390 микросхеме не считая аиало] ов ). различных типов : ■ логические элемента, комбинационные -схемы сис i шифраторы, дешифраторы, мультиплексор:!, ^мультиплексоры, сумматоры. гх"мы сравнения... í. автоматы СИС ( триггеры, peí ист-

рн, счетчики ), з танас солее слеад»" микросхемы сис и бис ' озу, пзу, регистрорцв ФаЯ^» ЗРН№9Т!т0-Л0ГйЧвеКИв устройства. Умножители. .. ;.

Каждая модель включает в -вед условное графическое обозначение 1УГО). Файп ин^огнаида, „акорцчпо оципваше!! алгоритм ее г/нкино-иигования, Фориальнуа модель i таблица истшшост!!! логические функции, язйковов рписаиие1 и исполняемую ноделыс-текст или ехе-фзгш.

Имеется возможность виборки мгчросхем как через сердо-'-мя, таи и ло типу, (¡осле на »КРанв появляется УГО микросхемы (возиохен

одновременный вязов саотв&тствур-»гс }аядл. №1*ор«аиии1 « _w.T-3c.c5-__

г*яь чотст иазип&аейетйо^пть с нгло.иг аииросяеи« одним из способов:

- интерактивно задзрат)» значения на входах - модель отсчитает И отобразит соотввттруршив значения (18 выводам

подготовить внодиив воздействия на подели и ее о^даеиые ро-акним в $аиле, и они оудут подагово гчитнязться и- фалла. отобраха-яс* на входах, далре модель буре? вычислять реакции микросхемы и результаты будут отображаться ш руяе«ая( ПР!1 зтон бкду г отмечаться случаи цесовгавения реаканл подели г ?*«ягс;:;гггн;

чоазгопо изблрдать как модель ииь'рогяе.щ рая чгу г па ге;»е>.» руемне снсецои случайные в:{ог,дао воздействия!

- нлт'гактирчо запаса-'значения на ^ оп * ьа гсиодг ггенуе систем случзгшчэ ахоцше гзз&зйс 1 в".*, ч^ 1 иод«ль ьу-дет г-»числить г-егкиии ниг-рссхени и Рез/ль^о^ суд»'?- (пасрз»п'ьсл на яияовзч, при этой судут отмечаться случаи несовпадении излыша рэ-чкпия модели с реакциями, задаппнмн пользоратепен.

Крене того, пользователь мохеу создавать норце иодзли микросхем которив интегрируются в стенд как модели пользователя. ноучос-пв отт«гт;тгспзн!ше модели могут автомлтшгеки Питегрчровачьс.! и арыш стенда. с,ус«стзурт большое число спо^?е..а создании иовнх иояспе^ логические элемента - редактором уро, комбинационные схем« - Тибди-^ами йстннности! автомате - логическими ♦ункнияни. типовые узлы (дэ-ИИ-рдтогы, НУЛЬТИОДрксори. суннэтога. тг::ггеш, р&гьсн-ы ^.четчиг.п, "31', ПЗУ! - гточиеяип/ш типовых описаний. для вас и с«к «рс;-¡¿1 а*т-сл са^цглли-ирсвьвдц'.е языки И КМ» а также енктез ииго-лг оп-дн-«йня азтонатоо.

Иакоиеи, э аеяйх апробашщ метода а сдаст* коцяяе «¡цоа аетомз-•щэачии р,ксокоуроЕ!Ц.'йоро проектирования ии*ров«н систсн $ыла разработана немгипческак недель 1-разрядного м::крспроиессог и>го элемента.

Г'бочвс!. С помощью комплекса 1ВТЕЖ проверен обший алгоритм функционирования микросхему KHOlflCl, определен ассемблер К1в(МЬС1.и разработаю и апробированы ?. способа спдания тестов ( ассенбперная про-граньа с позичиониыни и ключевыми операндами и собственник язык -гестов Е180ЧПС11. затем проведе.,а декомпозиция до <ф1 икпнопальмой ихсны. докапана ее корректность (иа junee подготовленный тестах 1. после чего произведен переход от функциональной спени к да.лоипиальной и вновь доказана ее корректность (на ранее подготовленных тестах).

в ПРИЛОЖЕНИЯХ ьриводятся п"инер формализованного описания архитектуры процессоров Intel Об/вт средствами метап~цка IHTBS, оглавление спрапччнича моделей тжросгэн TzRES. рабочие натериалн исследования 1-разрядно>, микропроцессорной секиии KifiOiiiGi, покунеи.а о внедрении результатов диссертационной работы.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАПТЯ

Таким образок, в ходе выполнения панной диссертационной работы получены следуришо иснода.де результаты:

I. Разработан метод высокогровневсго проектирования" И'^рБЫП""-с1,стви на основе пробленно-ориентированной формализации их чнешник интерфейсеч и авгорц.иов жиошоиирования.

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

3. длх описании исиоадввия иаючшнж коианд процессора введен иегаассеМблер 1КТЕК. содержащий метакоманды Для описания даияти процессора и нетчинструкичи. последовательностями когорц., описывается исполнение инст( /клий процессора.

4. Обоснор«>»н и разработаич спосоон автоматизированной генерации моделей микросхем у вцфровцх узл^в, позволяющих »итенси^ичигэ-вать процесс перехода от *гнкццонал^)ШХ схрч пи >речгя си-тем к их оринципиалышь схемам.

5. Создано программное обеспечение формализование, о описания и исследования Процессоров на гровнв системы :сомани. высокоуровневого кгрархи"еского проектирований ЦИФгое.ix слстеи. автоматизирован-

и о А ге'ррапот» моделей . ик„>о'-*ен я цифровых узлов, технологической ''юппег.жки разработки программных си тем. иляеетпм. той особенностью " разработанного по «шяетей соответствие интерфейса пользователей ие«луиаюдичм стандартам ( иногозк^яшг'Я режим работ«, полная поддержка т^пчих.клапия' я им л, контекс .но-чувстяительпап поИоиь, наличие демонстрационных РеЖИНон и т, п. I .

б "аэибстаиы нетодики Юрма/.лзопапного оп'-санич и Нсоедова-нии кроцесг^роо, ннсокоурош.гього иерархического проектирования циФропых сист! и( ; тгоматическсй генерации моделей нккросхс I и цифровых уэлои!

т. .м базе созданного "О разработаны: семейство отляячикп пг-сеивяеринх программ „ ля процессоров различнгч архитектур, а также ичтеплектульний справочник моделей микросхем. включамия в сее,. модели нрзктя'-'скй всех микросхем средней степени интеграции. Используете разработчиками цифровых систем я странах кнп

• е. срелстпами созданного ПО выполнео функциональное проектирование 4-раз^чднсго процессорного элемента 8(в04вс>.

По теие диссертации опубликована еледуеспге работа:

1. Явлинский Н. С. Нето/ш и средства автоматизации высокоуровневого прогктироплния вычислительных систен//ПРОблет; математики и ичФорнгтики : Математическая конференция, посячаенная гз-летию Гомельского гоеуниверситета ни. ф. Скорииь.: Тез. докл. Междуияр. копф. -Гомель, 101/4. р. (ле

2. Лолинский И. С.. Ву«ах К. л. интегратор *РчсКе1 "//Проблемы иатема-тчки у. информатики : Натеиетическая юи.+ереняия. поевпаечпап гь~ легю Гомельского госунперсите .а ин. Ф. Скортш. \ез. докл. Иеждг-пар. конф. -гонель, 1991. с. 144

1. Лолмкскип ». п., зиспльнап Н. Н., Велопкнй С. Л. Ндстрчиваенг/Я отладчик-интерпретатор ассемблерных програмн//Актуальные про- ■. . . • блемы фундаментальных наук: Тез. докл. ;:е*аг»ар. конф. -яоепва; т Гг-" с. гг-пв.

п. Явлинский м. с., яи ельнан и. н.. Веяопкия с. п. насттьлпэгиыг. отладчик интерпретатор ассемблерных нрограмн//Л"тонатизг.>овя йог проектароьаннс радиоэлектронной аппаратуры:Тез. докл. Неждунар. конф. Каунас. 1992. -с. 303-407.

ь. лолимгк!!« м. С. зи'-ельман И. П., Г ломкий С. /I. Программист

комплечг автоматизации проектирования и отладки системы команд

я ассемблерных Программ микролройеесора. //Проблемы математики м информатики : Математическая нсм4>ер&ниия, посвяаеипэя гъ-лети» Гомельского ЬосЯшвеРситета им. Ф. скорииа! тез. докл. Ие*дунаР. конф.-Гомель. 1у9Ч. с. ИЗ

0. Долинскщ U.C., Кострома И.С Программная система гвтоиати?ч--

рованного синтеза у-ТРойств с микропрограммным управлением. //Вопросы экономен« и ноне информационные технологии'Тез. докл. Всесспз. конФ.-Гомель. 1991.-с. вб-3в;

1. Долинск: я H. c.V л^шенко л. & . Стона И.О. Настраиваемая с .ir та-ксичрский"анализа гор т5ыков регулярнгх и контекстно-свободных грамматнк//АВтом-лиэаиия npt .>ктИроваиия б электромке:с!й. Науч. тр. Ail VCCP ИТ.;.-лиев-i 993.-Вып. 47. С. 65-69

в. Долинскип U.C., :]акст*?й И. Bi, Тока; енко а А. Пакет прикладных программ проектного моделирований цифровых систем//.,нФорнаии-оннье тгяно.югии и систены:Тёэ. ftMoí. Неждупар. конФ. - ¡ьвев, 1993.

9. Долинскип Н. с., Недникоч ф. В., Охгтников Ё. А. Интеллектуальный редатор граФов//Автоматизацня проектирования в электронике: Сб. науч. тр. VCCP НТК. -Киев-1993. -Вып. 41, с. 90-93

10 Долинский н. с., токаренкс о А.. К,.пин с. В.. Полсшук и. И. < Про-ко!».ик С. н. программна/» система "Генератор фгнкиионально-логи-ческих моделей микросхем*//Автоматизированное лроектиргвание рааиоэл"1'троШ! й аппаратуры: Тез. докл. Мехдугар. конФ. -Каунас. 1992. -с. гзб-г«1.

11. Долинскип н. с., Токаренко 0. А., Еалооасова В. И. Вазовая иерархическая система автоматизации Моделирования ейохных систем// Автоматика vt вычислительная техника. -(991. .Ко э -с. БО 5t.

12. Долинский H. С. > Шалозасова В. К. Программно-методический Комплекс логического синтеза м'П'.роэЛектРОННЫХ УстМйств//На7гна-тическое и иннтаиконное ноделироват.в в сйстеНая ilPoeMiHPobâ-ния H травления; Тез. Докл. Всесоьз. коНФ. -Иоёосибирсн, 1990- -с. :2-53

13. долинскип С., йалозасо&а Р й.. Токаренко о. А. Папет г.регранм автоматизации пРоектиробания электронных устрояств//Автоматиэи-рованМре Проектирование РадиоэьектРоУЧой аппаратуры:Тез. йокл. Междуна*. кон*.-Каунас, 1991.-с. 146-147.

.14. ДоЛИьскмИ Н. С.. UaiioSácofeá В. Й< îoKaPfefmo О. А. ПРоГраннно-мето-дический комплекс логического синтеза йнкрозлсктрошшх устройств //лптона ¡ПзированНое проектирование радиоэлектронной аппаратуры: тез. докл. нежяунар.конФ.-Каунас» 1991.-с. lír-lífi.

is лолинскнп П. С, . Шдлобасста В. И. Токагенко О. Л. Прог-рамли»:. ■„•тенл .Чшсздомалык.' логически); моделей нккрескйн//Нат?на'<»:,1.-кое и tiaoitnttoe нод?пироса!гае:Т8з. докл. Всесо»?. кои«1. -Вгрои«-» ¡е-. долинек«и И. С , ченшх Г. в. . комиссарсипо С. л. Об одно« ne.» • ч ¡|п<"грос!шю зрхитектпчю-иеэавнеимой нодрлм программ»/,'\ тика и вычиепительная техника. -1992. . Но Ч -е. 58-5?. Р эднг'рр п. П. . Галиев p.c., Черных Г. В., долииския М. С. ол ол»-^ !; построению архитектурно-неэарнси.чой модели пг.ти-хч": '.'Математическое и киитавдоииое нояе.пиговаич? d систсиах npwm« ю&ишя и управления:Тез. докл. Бсесойп. кон$>. -Новосибирск. 1чдг>. с. ио-(!Н.

ib. rtarçiiwy'W . PollnsKv H, s.. i.evchucK V. D. Prouranm technoio-Rica! tools for complex system motte 11 ine/.'AHSE Periodicals "ADVANCES Hl MODELL I KG AKALVSIS " voi. 39. Ho 1, 1993. PP lif

Долинский Михаил Семенович

Метод и средства ксмплеясноЯ автоматизация чысскоуропневого проекаирозания цифровых сязтем

Автореферат дизеертацик иа поисканне ученой атеп^н!-, кандидата технических наук

Нодписанп в печать 09.01.95. Формат бОхВ1» 1/16.

Бумага писч. № I. Печать о$о. Уоя.п.л.1,13, Уч.-изд.л. 1,0

Тира* ¿'ТГ экз. их. 22.

Отпечатано на ротапринте ГГУ. Гомель, ул.Советская, Ю^