Методы и средства проектирования программно-управляемых генераторов импульсов напряжения тема диссертации и автореферата по ВАК РФ 05.13.05, доктор технических наук Тимофеев, Александр Орестович

• Тимофеев, Александр Орестович
• доктор технических наук
• 1998

Оглавление диссертации доктор технических наук Тимофеев, Александр Орестович

ВВЕДЕНИЕ.

1. ИЗМЕРИТЕЛЬНЫЕ ГЕНЕРАТОРЫ ИМПУЛЬСОВ НАПРЯЖЕНИЯ С МИКРОПРОЦЕССОРАМИ.

1.1. Отечественные генераторы с микропроцессорами.

1.2. Обобщенная структура приборов.

1.3. Выводы и результаты.

2. ПРОЕКТИРОВАНИЕ РАДИОИЗМЕРИТЕЛЬНЫХ ПРИБОРОВ.

2.1. Алгоритм проектирования.

2.2. Влияние микропроцессора на структуру прибора.

2.3. Требования к системе моделирования приборов.

2.4. Причины разработки новой системы моделирования.

2.5. Выводы и результаты.

3. РАЗРАБОТКА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ПРИБОРА.

3.1. Система программирования с интерпретатором.

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

3.3. Выводы и результаты.

4. ФУНКЦИОНАЛЬНАЯ МОДЕЛЬ (Ф-МОДЕЛЬ) ТЕХНИЧЕСКОГО УСТРОЙСТВА.

4.1. Общая характеристика Ф-модели.

4.2. Основные понятия и определения.

4.3. Модель логического повторителя.

4.4. Виды Ф-моделей.

4.5. Формы задания.

4.6. Переходы между формами.

4.7. Параметризация.

4.8. Методическая ошибка.

4.9. Отражение свойства фильтрации.

4.10. Отражение свойства задержки.

4.11. Применение Ф-моделей.

4.12. Композиция моделей.

4.13. Алгоритмы композиции.

4.14. Декомпозиция моделей.

4.15. Преобразования моделей.

4.16. Построение Ф-модели по граф-схеме микропрограммы.

4.17. Построение Ф-модели по временным диаграммам.

4.18. Выводы и результаты.

5 АЛГОРИТМЫ И СРЕДСТВА ДЕТАЛЬНОГО МОДЕЛИРОВАНИЯ.

5.1. Базовые решения системы моделирования АМЕТИСТ.

5.2. Система моделирования электронных устройств АМЕТИСТ.

5.3. Организация моделирования устройств с учетом задержек.

5.4. Программы, имитирующие библиотечные элементы.

5.5. Хранение состояний.

5.6. Представление модельного времени.

5.7. Принципы построения моделей аналоговых компонентов.

5.7.1. Общие сведения.

5.7.2. Эквивалентная схема компонента и окружающей среды

5.7.3. Схема замещения моделируемого компонента.

5.7.4. Шаг моделирования.

5.8. Ввод описания устройства.

5.9. Алгоритмы трассировки.

5.9.1. Алгоритм трассировки с двумерными массивами.

5.9.2. Алгоритм трассировки с динамическими массивами.

5.10. Выводы и результаты.

6. МОДЕЛИ КОМПОНЕНТОВ ПРОГРАММНО-УПРАВЛЯЕМЫХ ПРИБОРОВ.

6.1. Методика разработки модели.

6.2. Модели логических элементов.

6.3. Модели функциональных узлов комбинационного типа.

6.4. Модели функциональных узлов с памятью.

6.5. Модель резистора.

6.6. Модель конденсатора.

6.7 Модель индуктивности.

6.8. Модель диода.

6.9. Модель биполярного транзистора.

6.10. Результаты экспериментов с моделями аналоговых элементов

6.11. Модель генератора синусоидальных сигналов.

6.12. Модели микропроцессорного комплекта 1804.

6.13. Модели однокристальных микроконтроллеров.

6.14. Модели контроллеров МОТОРОЛЫ.

6.15. Модель транспьютерного узла для исследования параллельной вычислительной системы.

6.16. Выводы и результаты.

7. ПРОЕКТИРОВАНИЕ БЛОКОВ ПРИБОРА.

7.1. Описание интерфейсных функций на языке Ф-моделей.

7.2. Метод синтеза схем по их Ф-моделям.

7.3. Проверка устройства сопряжения с КОП.

7.3.1. Проверка совместимости устройств.

7.3.2. Способ синтеза тестов для интерфейсных функций.

7.3.3. Проверка операционной совместимости.

7.4. Метод синтеза микропрограммных автоматов.

7.5. Синтез динамических тестов.

7.6. Выводы и результаты.

Введение диссертации (часть автореферата) на тему «Методы и средства проектирования программно-управляемых генераторов импульсов напряжения»

Диссертационная работа имеет своей целью разработку методов и средств проектирования программно-управляемых приборов, имеющих в своем составе микропроцессоры. Такие приборы появились в числе первых в классе Г5 приборов - радиоизмерительных генераторов импульсов напряжения.

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

Результаты данной работы использовались при разработке радиоизмерительных генераторов импульсов напряжения и генераторов последовательностей сигналов Г5-79, Г5-80, ГК5-83 [1] - первых отечественных программно-управляемых приборов с микропроцессорами и микроЭВМ. Разработка указанных приборов выполнялась согласно постановлениям правительства, что дало возможность применять в приборах новейшие интегральные схемы. В разработке приборов автор принимал участие в качестве ответственного исполнителя НИР. В связи с пионерским характером внедрения результатов диссертационная работа претендует на решение научно-технической задачи, имеющей важное народно-хозяйственное значение.

Применение микропроцессоров в радиоизмерительных приборах привело к скачкообразному улучшению их эксплуатационных и потребительских свойств, но как следствие, к заметному усложнению проектных работ. При проектировании прибора появились новые задачи по вводу и обработке информации, получаемой от пользователя, по выводу информации как для пользователя, так и передаваемой в другие приборы, по управлению и взаимодействию блоков прибора. Если бы функции приборов остались без изменения, то применение микропроцессоров упростило бы их структуру и проектирование. Однако открывшиеся функциональные возможности подстегнули фантазию разработчиков, и за счет скачка в сервисных функциях и отобразительных возможностях современные радиоизмерительные приборы с микропроцессорами уже несравнимы по сложности со своими предшественниками. Практическая реализация генераторов Г5-80 (многоканальный генератор кодовых последовательностей импульсов напряжения) и ГК5-83 (генератор псевдослучайных последовательностей импульсов напряжения) стала возможной только на основе встроенных микроЭВМ.

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

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

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

Встроенные микроЭВМ позволили реализовать новые для данного класса приборов функции - функции самодиагностики, заметно облегчающие эксплуатацию приборов.

МикроЭВМ в генераторах позволила не только значительно расширить функциональные возможности приборов, но и в то же время упростить измерительную (генераторную) часть генератора. Так в генераторе Г5-79 измерительную часть удалось свести к двум узлам: к делителю частоты с переменным коэффициентом деления (ДГЖД) и к цифроаналоговому преобразователю (ЦАП) с выходным усилителем. В результате в малогабаритном футляре 305x160x305 мм удалось разместить генератор, в котором совмещены функции трех предыдущих генераторов Г5-49, Г5-50 и Г5-63 со значительным расширением временного диапазона.

Естественно, что усложнение приборов привело к росту стоимости ошибки проектирования. Отсюда происходит стремление к более детальному анализу проекта и необходимость разработки новых средств проектирования и, в частности, средств автоматизированного проектирования [2-7].

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

Положения, выносимые на защиту:

1) Включение этапа выбора микропроцессора и этапа моделирования в алгоритмы проектирования программно-управляемых генераторов импульсов напряжения с микропроцессорами (микроЭВМ) на стадиях эскизного и технического проектов.

2) Требования к системе детального моделирования генераторов импульсов напряжения.

3) Состав символьного языка программирования (языка СПРИНТ) для программно-управляемых генераторов импульсов напряжения.

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

5) Метод синтеза схемы устройства по его Ф-модели. Метод синтеза микропрограммных автоматов управления через их Ф-модели.

6) Базовые решения системы моделирования, а именно:

- способ вывода данных о состоянии модели компонента;

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

- способ расчета состояния модели в две фазы;

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

- алгоритм трассировки межсоединений.

7) Порядок проверки функциональной совместимости приборов, имеющих устройство сопряжения с каналом общего пользования.

8) Способ синтеза проверяющего теста по диаграмме состояний интерфейсной функции.

9) Машинноориентированный метод синтеза динамических тестов для проверки блоков приборов.

Новизна результатов исследования определяется прежде всего новизной объектов проектирования - программно-управляемых генераторов импульсов напряжения. Большинство из предложенных методов и средств проектирования указанных приборов - это модификация методов и средств проектирования, применявшихся для вычислительных устройств. Существенно новыми являются базовые решения для системы моделирования электронных устройств АМЕТИСТ и метод синтеза динамических тестов.

Апробация результатов работы.

Результаты докладывались на следующих конференциях:

- от ХХХП до ХЫ1 научно-технической конференции ЛЭТИ, с 1979 по 1988 г.

- научно-технические конференции ЛЭТИ,1990 и 1992 г.

- научно-техническом семинаре «Микропроцессорные системы», 10-11 марта 1981 г., Ленинград.

- всесоюзном научно-техническом семинаре «Специализированные микропроцессорные системы»,Челябинск, 1981.

- всесоюзной научно-технической конференции "Проблемы создания и использования мини- и микро-ЭВМ", 1985, Вильнюс.

- региональном научно-техническом семинаре "Программное обеспечение мини- и микро-ЭВМ", 1986, Свердловск.

- областной научно-технической конференции по узловым проблемам радиотехники, электроники и связи, 13-17 апреля 1987 г., Ленинград.

- зональной научно-технической конференции "Автоматизация проектирования РЭА и ЭВА", 1989, Пенза.

- 47-ой областной научно-технической конференции "Проблемы развития радиотехники, электроники и связи", 6-9 апреля 1992 г., Санкт-Петербург.

- 48-ой областной научно-технической конференции "Проблемы развития радиотехники, электроники и связи", посвященной Дню Радио, апрель 1993 г., Санкт-Петербург.

- 49-ой областной научно-технической конференции "Проблемы развития радиотехники, электроники и связи", посвященной Дню Радио, апрель 1994 г., Санкт-Петербург.

- 50-ой юбилейной научно-технической конференции, посвященной 100-летию изобретения Радио, апрель 1995 г., Санкт-Петербург.

- международной конференции «Автоматизация проектирования дискретных систем - CAD DD'95», 15 - 17 ноября 1995 г., Минск.

- научно-технической конференции «Диагностика, информатика, метрология, экология, безопасность - 96», 25 - 27 июня 1996 г., Санкт-Петербург.

- второй международной конференции «Автоматизация проектирования дискретных систем - CAD DD'97», 12-14 ноября 1997 г., Минск.

Внедрение результатов работы.

Результаты диссертационной работы использовались в ходе выполнения научно-исследовательских работ с 1977 года с предприятием КБ «Импульс», при выпуске приборов на двух предприятиях России, в учебном процессе на кафедрах Электротехнического Университета и других вузов.

Новизна и полезность технических решений на уровне структур приборов подтверждена 3 авторскими свидетельствами СССР.

С целью автоматизированного проектирования приборов под руководством автора и при его активном непосредственном участии разработана система моделирования электронных устройств АМЕТИСТ. Вследствие быстрого прогрес-. са в инструментальных ЭВМ система АМЕТИСТ существует на языке ФОРТРАН для ЭВМ СМ-3, СМ-4, СМ-1420, «Электроника-85» с операционной системой ОС-PB и на языках С и С++ для ЭВМ типа IBM PC с операционными системами DOS и WINDOWS.

Система моделирования электронных устройств АМЕТИСТ была передана по договорам о научно-техническом содружестве в п/я В-2954, НПО «Марс», Ижевский механический институт, ЦКБ ГМП, Новосибирский электротехнический институт, НПО «Дальняя связь», Университет телекоммуникаций.

Заключение диссертации по теме «Элементы и устройства вычислительной техники и систем управления», Тимофеев, Александр Орестович

7.6. Выводы и результаты

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

2. Предложен метод синтеза схем устройства по их Ф-моделям. В качестве примера для интерфейсной функции П (приемник) синтезирована известная схема, не синтезируемая "классическим" методом.

3. Рассмотрены проблемы проверки спроектированного прибора с устройством сопряжения с КОП. В результате исследования взаимосвязей интер

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

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

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

ЗАКЛЮЧЕНИЕ

Дополнительный материал по применению и развитию Ф-моделей вычислительных устройств можно почерпнуть из неупоминавшихся ранее диссертационных работ С.В.Теплинского, Л.А.Суровягиной, А.Б.Траоре, В.А.Скворцова, М.В.Савина [89 - 93].

Изложенные технические решения, касающиеся структур генераторов импульсов напряжения, защищены авторскими свидетельствами СССР [94,95,96].

Теоретические результаты диссертационной работы:

1. Алгоритмы проектирования программно-управляемых генераторов импульсов напряжения с микропроцессорами (микроЭВМ) на стадиях эскизного и технического проектов и стадии рабочей документации. Требования к системе детального моделирования генераторов импульсов напряжения.

2. Алгоритмы функционирования системы программирования в составе символьного языка программирования (языка СПРИНТ) и интерпретатора для программно-управляемых генераторов импульсов напряжения, которая (система) обеспечивает сокращение сроков проектирования и объема программы прибора.

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

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

5. Базовые решения системы моделирования, а именно:

- способ вывода данных о состоянии модели компонента;

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

- способ расчета состояния модели в две фазы;

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

- алгоритм трассировки межсоединений.

Методика создания программной библиотечной модели.

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

7. Новый машинноориентированный метод синтеза динамических тестов для проверки блоков приборов.

Практические результаты диссертационной работы:

1. Первые отечественные программно-управляемые генераторы импульсов напряжения с микропроцессорами - генераторы Г5-79, Г5-80, ГК5-83 - со структурами на уровне изобретения.

2. Система программирования в составе символьного языка программирования СПРИНТ и интерпретатора.

3. Система детального моделирования (система АМЕТИСТ) цифровых, аналоговых или гибридных устройств.

4. Программные модели логических элементов, разнообразных функциональных узлов комбинационного типа, узлов с памятью, дискретных аналоговых компонентов (резистора, конденсатора, диода, транзистора), микросхем комплекта КМ1804 для приборов специального назначения, однокристальных

218 микроконтроллеров семейств МК48 и МК51, интегрированных процессоров МС68302, МС68332.

5. Описание стандартного приборного интерфейса диаграммами состояний Ф-моделей оборудования для целей формального синтеза устройств сопряжения.

Список литературы диссертационного исследования доктор технических наук Тимофеев, Александр Орестович, 1998 год

1. Каталог "Изделия промышленности средств связи". Серия 1. Радиоизмерительные приборы,- М.: ЦООНТИ "ЭКОС", 1989,- 220 е.- ( Тематический выпуск "Радиоизмерительные приборы '90/91" / 26-е изд., исправ. и дополн.).

2. Норенков И.П. Введение в автоматизированное проектирование технических устройств и систем М.:, Высш. школа, 1986 - 304с.

3. Автоматизированное проектирование цифровых устройств/

4. С.С. Бадулин, Ю.М. Барнаулов, В.А. Бердышев и др.; Под ред. С.С. Бадулина-М.: Радио и связь. 1981- 240с.

5. Баранов С.И. Автоматизация проектирования цифровых устройств. М.: Радио и связь, 1979 264с.

6. Теория и методы автоматизации проектирования вычислительных систем/ Под ред. М. Брейера М.: Мир,1977.

7. Автоматизация проектирования аналогово-цифровых устройств/ Э.И. Гитис,Б.Л. Собкин, С.А. Ильюшин и др. / Под ред. Э.И. Гитиса М.: Энерго-атомиздат, 1987 -210с.

8. Угрюмов Е.П. Проектирование элементов и узлов ЭВМ М.: Высш. школа, 1987.-318 с.

9. Микро-ЭВМ "Электроника С5" и их применение / М.П.Гальперин, В.Я.Кузнецов, Ю.А.Масленников и др.; Под ред. В.М.Пролейко- М.: Сов. радио, 1980.-157 с.

10. Генератор кодовых последовательностей с применением микроЭВМ "Электроника С5-1Г/К. К. Князев, И. А. Левина, Г. В. Липинский и др. // Электрон. промышленность 1978, № 5 - С. 51-52.

11. Казаринов Ю.М. Номоконов В.Н. Филипов Ф.В. Применение микропроцессоров и микроЭВМ в радиотехнических системах,- М.: 1988-207с.

12. Пролейко В. М. Развитие микропроцессоров, микроЭВМ и систем на их основе// Электрон, промышленность 1979, № 11-12 - С. 3-6.

13. Майоров С.А., Новиков Г.И. и др. Проектирование цифровых вычислительных машин/ Под ред. С.А. Майорова-М.: Высш. школа., 1972-344с.

14. Балашов Е.П., Пузанков Д.В. Микропроцессоры и микропроцессорные системы: Учебн.пособие для вузов /Под ред. В.Б.Смолова М.: Радио и связь, 1981.- 328 с.

15. Специализированные ЦВМ: Учебник для вузов/ В.Б. Смолов,

16. B.В.Барашенков, В.Д. Байков и др./ Под ред. В.Б.Смолова.-М.: Высшая школа, 1981.-279 с.

17. Барашенков В.В. Интерпретация операторных схем алгоритмов.-Л.: ЛЭТИ, 1978.

18. Дьяконов В. Система моделирования аналоговых электронных схем Micro-CAP III // Монитор-Аспект 1994.- Вып. 1- С. 38-44.

19. Дьяконов В. Система макромоделирования логических схем MicroLogic // Монитор-Аспект 1994- Вып.1- С. 46-50.

20. Разевиг В. Design Center для Windows // Монитор-Аспект 1994-Вып.1- С. 52-58.

21. Масалович А.И. P-CAD для любых плат// Интеркомпьютер-N2,19901. C. 33-36.

22. Разевиг В. Пакет программ моделирования цифровых устройств DDL // Монитор-Аспект 1994- Вып. 1.- С. 69-73.

23. Анисимов В.И., Скобельцын К.В. Диалоговая интегрированная САПР электронных схем ДИСП // Автоматизированное проектирование в радиоэлектронике и приборостроении: Межвуз. сб. науч. тр.- СП6Д994.-С.З-8.

24. Автоматизированная система моделирования и диагностики цифровых устройств/ Ю.А.Скобцов, Г.Г.Пономаренко и др.// Управляющие системы и машины,- 1988,- № 2,- С. 11-16.

25. Армстронг Дж. Моделирование цифровых систем на языке VHDL М.: Мир, 1992.- 174 с.

26. Миллер Д., Миранкер Г. Система с терминалами, на порядок уменьшающая время логического проектирования// Электроника. Т.55, N18, 1982-С.41—48.

27. Milne В. Logic Simulation on Personal Computers: Friend or Foe// Electronic Design, N5, 1988.- C.50-58.

28. Иванников А.Д. Моделирование микропроцессорных систем М.: Энергоатомиздат, 1990.- 144с.

29. Горбачев А.О. Системы и средства логического моделирования СБИС// Обзоры по электронной технике. Сер.З. Микроэлектроника. ЦНИИ "Электроника", Вып.5 (1377), 1988.- 61с.

30. Валов A.A., Герасимов И.В., Степашкин Г.И. Комплекс алгоритмов решения задач логического этапа проектирования ЭВМ-JI.: ЛЭТИ, 1981.-100 с.

31. Завьялова Т.Л., Леонтьев К.П., Пасечник Т.С. Система функционально-логического моделирования ЦУ// Обмен опытом в радиопром. Вып.4,1983-С.16-19.

32. Видуецкий А.Е., Шендерович Ю.И. Программное обеспечение логического моделирования и построения тестов контроля больших интегральных схем// Электронная техника. Сер.З. Микроэлектроника, Вып.4 (76), 1978 С.55-64.

33. Аврашков П.П., Беляков Ю.Н., Наумов В.Н. и др. Система логическо-топологического проектирования заказных матричных БИС// Микроэлектроника и полупроводниковые приборы/ Под ред. A.A. Васенкова,

34. Я.А. Федотова Вып.9,- М.: Радио и связь, 1984- С.260-269.

35. Гани Л. Система моделирования на языке VHDL// Электроника 1990, №2,-С. 84-85.

36. Гош Д. Программа быстрого моделирования сложных ИС// Электроника.-1990, №21,-С. 4-5.

37. Маклауд Д. Система смешанного моделирования аналого-цифровых схем// Электроника 1988, №11.- С. 25-27.

38. Милн Б. Модернизированная программа схемного моделирования, предназначенная для проектирования комбинированных схем// Электроника.-1988, № 22,- С. 41-44.

39. Бергхаузер Т., Шлив П. Система автоматизированного проектирования AutoCAD/ Пер. с англ.- М.: Радио и связь, 1989. 256с.

40. Климович Г.И., Лобков С.Н. Автоматизация проектирования моделей БИС в среде пакета программ СКТ02// Управляющие системы и машины.- Вып.1, 1993. С.26-34.

41. Micro-CAP and Micro-Logic// Byte.- Vol.11, N6,1986,- C.186.

42. Смородинский А., Воскресенский А., Ансилевский С. Отладчики программ для MS-DOS// Компьютер пресс N10,1991. С.37-45.

43. Nestor J.A., Thomas D.E. Defining and Implementting a Multilevel Design Representation with Simulation applications// Proc.l9th ACM IEEE Design Automation Conf., Las Vegas, June 14-16 1982,- N4.,1982,- C.740-746.

44. Armstrong J.R., Gupta A.K. Functional Logic Modeling and Simulation on PC// IEEE Microprocess. Forum. Atlantic City N.J., Apr.24 1985- Md., 1985-C.133-135.

45. Баталов Б.В., Русаков С.Г., Савин В.В. Пакет прикладных программ автоматизации схемотехнического проектирования для персонального компьютера//Микропр. системы и сети-1988, №4-С. 63-66.

46. Васко Д.А., Уейер Д. Система моделирования, позволяющая быстро анализировать компромиссные варианты построения микропроцессорных машин// Электроника,- 1990, №20.- С. 27-35.

47. Ковалев Е.К., Костик B.C., Могильников Н.Ф., Руденко A.A. Диалоговый комплекс программ многоуровневого логического моделирования цифровых БИС на мини-ЭВМ// Электронная техника. Сер.З. Микроэлектроника. Вып.1 (117), 1986.-С.31-44.

48. Клиффорд Б. Системы автоматизированного проектирования, ускоряющие моделирование благодаря применению реальных ИС// Электроника,Т.57, N5,1984.-С.3^1.

49. Гудинаф Ф. Новое поколение средств смешанного моделирования// Электроника 1988.-N22,- С. 17-21.

50. Белл Д.Дж. Трудности и успехи на пути автоматизации проектирования аналоговых схем// Электроника 1988, №22 - С. 22-23.

51. Поса Дж. Программирование микрокомпьютерных систем на языках высокого уровня// Электроника, Т. 52, №2, 1978 С. 22-32.

52. Глушков В. М. Синтез цифровых автоматов М.: Физматгиз, 1962. -476 с.

53. Астановкий А.Г., Варшавский В.И., Мараховский В.П. Апериодические автоматы/ Под ред. В.И. Варшавского М.: Наука, 1976- 424с.

54. Левин В. И. Динамика логических устройств и систем М.: Энергия, 1980.- 224 с.

55. Richter М. Das Zustandsdiagramm und seine Anwendung beim IES -Bus// Elektronik.- 1911.- Heft 2,- C. 55-58, 71.

56. IEEE 488-1975. IEEE Standard Digital Interface for Programmable Instrumentation .- New York, Publ. IEEE, 1975.

57. ГОСТ 26.003-80. ЕССП. Система интерфейса для измерительных устройств с байт-последовательным, бит-параллельным обменом информацией. Требования к совместимости М.: Издательство стандартов,1985- 109 с.

58. Мелихов А. Н. Ориентированные графы и конечные автоматы М.: Наука, 1971.-416 с.

59. Микаэль Ф.А., Тимофеев А.О. Композиция моделей функциональных узлов вычислительных устройств // Изв. Ленингр. электротехн. ин-та- JL, 1990 Вып.423 - С. 54-60.

60. Микаэль Ф.А. Исследования и разработка методов автоматизированного проектирования библиотечных моделей цифровых устройств: Дис. канд. техн. наук: 05.13.05.-Л.: ЛЭТИ, 1992.- 156 с.

61. Барашенков В В. Анализ и преобразование операторных схем алгоритмов: Учеб. пособие.-Л.: ЛЭТИ, 1979.- 103 с.

62. Ильин В.Н. Машинное проектирование электронных схем.- М.: Энергия, 1972.-280 с.

63. Ильин В.Н. Математическое моделирование радиоэлектронных устройств- М.: Энергия, 1974 195 с.

64. Мельникова С.Ю. Разработка и исследование средств смешанного моделирования вычислительных устройств: Дис. канд. техн. наук: 05.13.05-СПб.: ЭТУ, 1995.-249 с.

65. Ватанабэ М., Асада К., Кани К.Оцуки Т. Проектирование СБИС/ Пер. с японск.; Под ред. Л.В. Поспелова М.: Мир, 1988.- 304 с.

66. Киносита К., Асада К., Карацу С. Логическое проектирование СБИС/ Пер. с япон.- М.: Мир, 1988. 309с.

67. Миллер Р. Теория переключательных схем. Т.2. Последовательные схемы и машины М.: Наука, 1971 - 264 с.

68. Тимофеев А.О. Функциональная модель технического устройства (Ф-модель) // Электронное моделирование 1985 - Т. 7, Вып. 1- С. 86-91.

69. Автоматизация проектирования структурных элементов ЭВМ: Учеб.пособие / И.В. Герасимов, А. X. Мурсаев, C.B. Родионов, А.О. Тимофеев; Под ред. Е.П. Угрюмова.- Л.: ЛЭТИ, 1984,- 80 с.

70. Разевиг В. Применение программ P-CAD и PSpice для схемотехнического моделирования на ПЭВМ/ Под ред. Г.М. Веденеева М.: Радио и связь, 1992.-72 с.

71. Микропроцессоры и микропроцессорные комплекты интегральных микросхем: Справочник: В 2 т./ Б.Б. Абрайтис, H.H. Аверьянов, А.И. Березенко и др.; Под. ред. В.А. Шахнова М.: Радио и связь, 1988 - Т. 2 - 367 с.

72. Абу-Аргуб М.Х. Разработка и исследование моделей компонентов микропроцессорных систем с разрядно-модульной организацией: Дис. канд. техн. наук: 05.13.05.- С.Пб.: ЭТУ, 1994,- 282 с.

73. Измерители частотно-временных параметров сигналов на базе ОЭВМ серии К1816 / К.А. Глушенко, Н.В. Кирианаки, О.Б. Котыло, С.Ю. Юриш // Микропроцессорные средства и сист.- 1988 N6- с. 17-21.

74. Орестов Ю.А., Бобылев В.Н. Программируемый микроконтроллер на базе КР1816ВЕ31//Микропр. средства и сист.- 1989 N5- с. 44-48.

75. Универсальный контроллер на базе ОЭВМ КР1816ВЕ51 / В.А. Корнев, Э.М. Пройдаков, H.H. Щелкунов, А.П. Дианов // Микропроцессорные средства и системы,- 1989,-N1,-с. 17-20.

76. Науман Г., Майлинг В., Щербина А. Стандартные интерфейсы для измерительной техники / Пер. с нем. М.: Мир, 1982. - 302с.

77. Вулах М.Я., Тимофеев А.О. Проблемы проверки универсального ин-терфейса//Техн. средств связи.Сер. Радиоизмер.техн.-1983.-Вып.1(47).-С.77-90.

78. Баранов С.И., Синев В.Н. Автоматы и программируемые матрицы.1. Минск: Высш. школа, 1980.

79. Roth J.P. Diagnosis of automata failures: A calculus and a method// IBM J. Res. Develop.- 1966.- Vol. 10, July.- C. 278-291.

80. Putzolu, Roth J.P. A Heuristic Algorithm for the Testing of Asinchronous Circuits// IEEE Trans, on Computers 1971.- Vol. C-20, June - C. 639-647.

81. Muth P. A Nine-Valued Circuit Model for Test Generation// IEEE Trans, on Computers.- 1976,- Vol. C-25, June.- C. 630-636.

82. Mallela S., Wu S. A Sequential Circuit Test Generation System// Proc. ITC, IEEE Computer Sociaty Press, Los Alamos, Calif., 1985, h. 57-61.

83. Ma H.K., Devadas S., Newton A.R., Sangiovanni-Vincentelli A. Test Genegation for Sequential Circuit// IEEE Trans, on Computer-Added Design 1988 - Vol. 7, Oct.- C. 1081-1093.

84. Cheng W., Charakraborty T. Gentest: An Automatic Test-Generation System for Sequential Circuit// Computer.- 1989.- Apr.- C. 43-49.

85. Chosh A., Devadas S. Test Generation and Verification for Highly Sequential Circuit// IEEE Trans, on Computer-Added Design.-l991 .-Vol. 10,May,-C. 652-667.

86. ДейкстраЭ. Дисциплина программирования -M.: Мир, 1978- с.

87. Аникин А.В., Михалев А.Г., Хохловский В. Н. Верификация проектов вычислительных устройств на основе определения слабейших предусловий // Электронная техника. Сер. 8,.- 1988.-Вып.5(132).- С. 58-69.

88. Аникин А.В. Развитие и использование методов верификации проектов аппаратуры вычислительных машин: Дис. канд. техн. наук: 05.13.13-JI.: ЛЭТИ, 1989,- 177 с.

89. Горянкин A.B. Верификация проектов аппаратных средств ЭВМ на основе параллельных описаний: Дис. канд. техн. наук: 05.13.13,— Л.: ЛЭТИ, 1992.-173 с.

90. Теплинский C.B. Модели и методы логико-временного анализа цифровых узлов и устройств: Дис. канд. техн. наук: 05.13.05-Л.: ЛЭТИ,1985 192 с.

91. Суровягина Л.А. Исследование функционирования и оценка структур устройств управления внешними запоминающими устройствами: Дис. канд. техн. наук: 05.13.05.-Л.: ЛЭТИ, 1984.-254 с.

92. Траоре А.Б. Разработка и исследование программных моделей микропроцессоров Intel 80x86: Дис.канд.техн.наук:05.13.05.-СПб.ТЭТУ,1995.-151 с.

93. Скворцов В.А. Разработка метода аппаратно-программной реализации функций интерфейса в микропроцессорных устройствах информационно-измерительных систем: Дис. канд. техн. наук: 05.13.05- Л.: ЛЭТИ, 1984 142 с.

94. Савин М.В. Организация и проектирование систем для логического моделирования дискретных устройств на основе автоматных Ф-моделей: Дис. канд. техн. наук: 05.13.05 Л.: ЛЭТИ, 1990.- 121 с.

95. A.c. 1026294 СССР, МКИ НОЗ К4/02. Генератор ступенчатотрапецеи-дального напряжения/ В.В. Барашенков, К.К. Князев, Г.В. Липинский, Ю.Т. Минкевич, Л.Г. Теницкий, А.О.Тимофеев (СССР).- N 3405259; Заявл. 09.03.82; Опубл. 30.06.83, Бюл. N 24,- 6 с.

96. A.c. 1034160, МКИ НОЗ КЗ/64. Генератор серии прямоугольных импульсов/ В.В. Барашенков, К.К. Князев, Г.В. Липинский, Ю.Т. Минкевич, Л.Г. Теницкий, А.О.Тимофеев (СССР).- N 3425565; Заявл. 25.02.82; Опубл. 07.08.83, Бюл. N 29,- 4 с.

97. A.c. 1228232, МКИ НОЗ КЗ/84. Многоканальный генератор последовательностей импульсов/ В.В. Барашенков, К.К. Князев, Г.В. Липинский, B.C. Ляшенко, А.О.Тимофеев (СССР).- N 3656450; Заявл. 27.10.83; Опубл. 30.04.86, Бюл. N 16,-10 с.