Разработка моделей и алгоритмов инженерного синтеза самотестирующихся логических преобразователей с перестраиваемым элементным базисом тема диссертации и автореферата по ВАК РФ 05.13.18, кандидат технических наук Акинина, Юлия Сергеевна

• Акинина, Юлия Сергеевна
• кандидат технических наук
• 2006

Оглавление диссертации кандидат технических наук Акинина, Юлия Сергеевна

ВВЕДЕНИЕ

СОДЕРЖАНИЕ

1. ПРОБЛЕМЫ СИНТЕЗА И ОБОЩЕННЫЕ МОДЕЛИ

САМОТЕСТИРУЮЩИХСЯ СРЕДСТВ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ ф 1.1. Особенности самотестирующихся средств вычислительной техники как объектов технического диагностирования.

1.2. Структурные модели традиционных самотестирующихся средств вычислительной техники.

Ф 1.3 .Типовая структура двухуровневых программируемых логических матриц и особенности их тестирования. ^

1 .4. Структурная и математическая модели самотестирующегося логического преобразователя с перестраиваемым элементным базисом

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

Цель работы и задачи исследования.

• 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. Методика и результаты экспериментальных исследований метода синтеза самотестирующихся логических преобразователей.

Выводы.

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

Актуальность темы. Быстродействие логических элементов в современных больших интегральных схемах (БИС) достигло нескольких тысяч мегагерц даже для средств вычислительной техники (СВТ) коммерческого назначения. Данные обстоятельства приводят к тому, что возможности соответствующих внешних средств технического диагностирования БИС и СВТ постоянно отстают от технологических достижений их производства. Это стимулирует создание и совершенствование теоретической и технической базы средств вычислительных машин и систем, использующих технологию встроенного самотестирования по крайней мере, на уровне технической базы -многовходовых программируемых логических преобразователей, реализующих произвольную систему логических функций в больших интегральных схемах. При этом новые контрольно-диагностические технологии должны ориентироваться на решение всех трех фундаментальных задач технической диагностики: -определение правильного или неправильного функционирования; -диагностирование и локализация с некоторой точностью источника неисправности;

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

За рубежом и в России ведутся интенсивные исследования новых подходов к совершенствованию testability (готовности к тестированию) и BIST (Built-In-Self-Test - встроенное самотестирование) технологиям, как на уровне БИС, так и на уровне СВТ. В настоящее время широко известны технологии встроенного самотестирования, ориентированные на решение только двух первых задач технической диагностики. Эти технологии преимущественно базируются на использовании в различных комбинациях двух типов дополнительных узлов - псевдослучайного генератора тестовых воздействий и сигнатурного анализатора выходных реакций.

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

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

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

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

Для достижения поставленной цели в работе определены следующие задачи исследования: разработка структурной и математической моделей самотестирующихся логических преобразователей на программируемых логических матрицах с перестраиваемым элементным базисом, предлагаемых для инженерного использования; разработка метода и алгоритма автоматизированного преобразования дизъюнктивных нормальных форм логических функций к полиномиальным нормальным формам (в базис Жегалкина); разработка метода и алгоритма автоматизированного преобразования полиномиальных нормальных форм к модифицированным полиномиальным нормальным формам (в базис «равнозначность», «неравнозначность»); разработка алгоритма автоматизированного расчёта эталонных выходных реакций синтезируемого логического преобразователя в режиме самотестирования псевдослучайными последовательностями максимальной длины (М-последовательностями), принадлежащими одному и тому же классу; разработка программных модулей, реализующих разработанные алгоритмы для автоматизации процедур инженерного синтеза самотестирующихся логических преобразователей с перестраиваемым элементным базисом; экспериментальная проверка на основе имитационного моделирования пригодности разработанных автоматизированных процедур инженерного синтеза самотестирующихся логических преобразователей с перестраиваемым элементным базисом.

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

Научная новизна. В работе получены следующие результаты, характеризующиеся научной новизной: структурная и математическая модели самотестирующихся логических преобразователей, основу которых составляет генератор псевдослучайных М-последовательностей и программируемая логическая матрица с возможностью автоматической перестройки элементной базы (в зависимости от режима работы или диагностирования); метод и алгоритм автоматизированного описания закона функционирования логического преобразователя в полиномиальной нормальной форме (ПНФ), отличающиеся от известных тем, что полиномиальная нормальная форма автоматически может быть получена не только на основе совершенной дизъюнктивной нормальной формы (СДНФ) или таблицы истинности, но и на основе дизъюнктивных нормальных форм (ДНФ) с их предварительным восстановлением до совершенных форм при минимальных требованиях к ресурсу инструментальной ЭВМ; формальные подходы к количественной оценке вычислительной сложности различных алгоритмов восстановления таблиц истинности логических функций по их ДНФ и алгоритмы восстановления: тривиальный (пессимистическая оценка сложности) и вычислительный (оптимистическая оценка), обеспечивающие возможность реализации логических преобразователей предварительно заданных как в СДНФ, так и в ДНФ, что расширяет область практического применения самотестирующихся логических преобразователей; метод и алгоритм автоматизированного расчёта любой из 2" - 1 эталонных М-последовательностей как суммы по модулю 2 некоторой комбинации из п исходных М-последовательностей, отличающиеся от известных тем, что расчет конечного результата осуществляется в численном виде, используя полиномиальное (векторное) представление М-последовательностей.

Практическая значимость. Разработаны и зарегистрированы в ФАП ВНТИЦ программные модули: «Преобразователь булевых полиномов», «Эмулятор программируемой логической матрицы», «Расчет и генерация эталонных последовательностей для диагностирования неисправностей специализированных ПЛМ», реализующие основные процедуры инженерного синтеза самотестирующихся логических преобразователей с перестраиваемым элементным базисом.

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

Реализация и внедрение результатов работы. Основные теоретические и практические результаты диссертационной работы использовались в Военном Институте Радиоэлектроники (г.Воронеж) при проведении в 2005 году приоритетной НИР «Полоса ВИРЭ» для оценки влияния мощных электромагнитных излучений на изменение внутренней структуры различных типов цифровых микросхем. Структурная и математическая модели самотестирующихся логических преобразователей используются в учебном процессе ВГТУ в курсе «Схемотехника ЭВМ» при обучении студентов специальности 230101.

Апробация работы. Основные положения диссертационной работы докладывались на 2-ой Всероссийской н/т электронной конференции «Электроника 2003» (Москва, МИЭТ, 2003), IX Международной открытой научной конференции «Современные проблемы автоматизации в непромышленной сфере и экономике» (Воронеж, 2004), IX Международной научной конференции «Современные проблемы информатизации в системах моделирования, программирования и телекоммуникациях» (Воронеж, 2004).

Публикации. Основные результаты диссертационной работы опубликованы в 12 печатных работах, из них 4 без соавторов. В работах, опубликованных в соавторстве, лично соискателем предложены: в [36,41] -математические модели логических преобразователей на ПЛМ с перестраиваемым логическим базисом, в [42] - формализованный подход к разработке трех основных методик, необходимых для инженерного применения ПЛМ с перестраиваемым элементным базисом, в [66,72] — использование М-последовательностей в качестве тестовых, а также новый метод нахождения произвольной их совокупности, в [75, 76, 77] -алгоритмы для программных модулей, реализующих последовательную процедуру синтеза структуры самотестирующихся логических преобразователей

Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, изложенных на 146 страницах, списка литературы из 87 наименований, содержит 68 рисунков, 18 таблиц, приложения.

Заключение диссертации по теме «Математическое моделирование, численные методы и комплексы программ», Акинина, Юлия Сергеевна

Выводы:

1. На основе разработанных структурных и математических моделей самотестирующихся ЛП созданы программные модули «Преобразователь булевых полиномов», «Расчет и генерация эталонных последовательностей для диагностирования неисправностей специализированных ПЛМ», интегрированные в модуль «Эмулятор программируемой логической матрицы».

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

3. Проанализированы методы имитационного моделирования с использованием пакетов схемотехнического моделирования цифровых и аналоговых устройств, и выявлена целесообразность использования пакета Electronics Workbench (EWB 5.XX) для экспериментальных исследований метода инженерного синтеза самотестирующихся ЛП.

4. Средствами пакета моделирования Electronics Workbench (EWB 5.XX) создана и исследована имитационная модель логического преобразователя.

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

6. Произведен сравнительный анализ результатов, полученных при эксплуатации программного модуля «Эмулятор программируемой логической матрицы» и экспериментальных исследований с использованием имитационной модели, который показал корректность разработанных и реализованных методов и алгоритмов.

144

ЗАКЛЮЧЕНИЕ

1. Разработана и оптимизирована структурная модель новой вычислительной структуры - самотестирующегося логического преобразователя с перестраиваемым элементным базисом, предлагаемого для широкого инженерного использования. Его основу составляют генератор псевдослучайных М-последовательностей и программируемая логическая матрица, отличающаяся от известных тем, что в режиме работы её элементным базисом является базис Жегалкина, который в режиме самотестирования электронно перестраивается в базис из двухвходовых элементов «равнозначность» и «неравнозначность». В режиме самотестирования М-последовательности используются в качестве тестовых и эталонных последовательностей.

2. Разработаны математические модели самотестирующегося логического преобразователя с перестраиваемым элементным базисом на основе чего предложена обобщенная процедура его инженерного синтеза, включающая:

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

• метод и алгоритм автоматического формирования модифицированных полиномиальных нормальных форм совместно с формированием полиномиальных нормальных форм;

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

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

4. Предложены две конкурирующие структуры подсистемы генерации тестовых и эталонной М-последовательностей: на основе п разрядного регистра сдвига с линейной обратной связью и N-разрядного циклического регистра сдвига с предварительно записываемой опорной М-последовательностью (N=2K - 1). Величины п и N имеют примерно равные значения, но должны быть не меньше, чем количество рабочих переменных самотестирующегося логического преобразователя.

5. На основе разработанных методов и алгоритмов реализованы программные модули, зарегистрированные в ФАП ВНТИЦ: «Преобразователь булевых полиномов», «Эмулятор программируемой логической матрицы», «Расчет и генерация эталонных последовательностей для диагностирования неисправностей специализированных ПЛМ», интегрированные в программный комплекс и автоматизирующие основные этапы инженерного синтеза самотестирующихся логических преобразователей с перестраиваемым элементным базисом.

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

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

147

Условные обозначения

АНФ - антивалентная нормальная форма БИС (СБИС) - большие (сверхбольшие) интегральные схемы ГГТТЭ - генератор тестовых и эталонных последовательностей ДНФ - дизъюнктивная нормальная форма логической функции ЛП - логический преобразователь

МПНФ - модифицированная полиномиальная нормальная форма

ПЛМуаг - программируемая логическая матрица с перестраиваемым элементным базисом ПНФ - полиномиальная нормальная форма ПЭБ - перестраиваемый элементный базис СВТ - средства вычислительной техники СДНФ — совершенная дизъюнктивная нормальная форма ЧПНФ - частная полиномиальная нормальная форма EWB - пакет схемотехнического моделирования Electronics Workbench VAR - электронно перестраиваемый логический элемент

148

Список литературы диссертационного исследования кандидат технических наук Акинина, Юлия Сергеевна, 2006 год

1. Байда Н.П. Микропроцессорные системы поэлементного диагностирования РЭА / Байда Н.П., Кузьмин И.В., Шпилевой В.Т. М.: Радио и связь, 1987. 256 с.

2. Байда Н.П. Самообучающиеся анализаторы производственных дефектов РЭА / Байда Н.П., Месюра В.И., Роик A.M. M.: Радио и связь, 1991. 256 с.

3. Горлов М.И., Королёв С.Ю. Физические основы надежности интегральных микросхем. Воронеж: Издательство Воронежского университета, 1995.-200 с.

4. Надёжность и эффективность в технике: Справочник. В ЮТ. / Ред. совет: B.C. Авдуевский (пред.) и др. М.: Машиностроение, 1987. Т. 9. Техническая диагностика / Под общ. ред. В.В. Клюева, П.П. Пархоменко. - 352 с.

5. Гуляев В.А. Автоматизация наладки и диагностирования микроУВК / Гуляев В.А., Кудряшов В.И. М.: Энергоатомиздат. 1992. 256 с.

6. Williams T.W., Parker K.P. Design for testability a survey / IEEE Trans, on Comput. 1982. Vol. C-31. № 1. P 2-5.

7. Mc Clusskey E.J. Built-in self-test techniques / IEEE Design and Test of Computers. Aprl. 1985. V. 2(2). P.21-28.

8. Agarwal V.K. Easily testable PLAS // VISI Testing. Amsterdam: Norsh Holland, 1986. P. 65-94.

9. Паршина H.A. Синтез легкодиагностируемых комбинационных схем методом факторизации тупиковых ДНФ // Автоматика и вычислительная техника. 1980. - № 4.С.69-74.

10. Матросова А.Ю., Байда В.Д., Сафронов В.В. Синтез легкодиагностируемых автоматов // Методы и системы технической диагностики. 1980. - Вып. 1, С. 17-26.

11. Гессель M., Согомонян Е.С. Построение самотестируемых и самопроверяемых комбинационных устройств со слабонезависимыми выходами// АиТ,№8, 1992. С. 150-159.

12. Литиков И.П. Синтез самопроверяемых схем компактного диагностирования // АиТ, №3, 1991. С. 153-160.

13. Романкевич A.M., Стукач Н.Д. Об одном способе обеспечения лекготестируемости логических схем // АиТ, №3, 1991. С. 160-167.

14. Долинский М. Тенденция развития методов и средств автоматизации проектирования встроенных цифровых систем по материалам DATE'2003 // Компоненты и технологии, № 4. 2003. С. 166-171.

15. Лобанов В. Заметки о проектировании современных цифровых систем управления на отечественной элементной базе // CHIP NEWS, № 3, 2003. С.36-43.

16. Горяшко А.П. Синтез легкодиагностируемых схем вычислительных устройств. М.: Наука. -1987. - 288 с.

17. Баранов С.И., Скляров В.А. Цифровые устройства на программируемых БИС с матричной структурой / Баранов С.И., Скляров В.А. М. Радио и связь, 1986. 272 с.

18. Угрюмов Е.П. Цифровая схемотехника: Учеб. пособие для вузов. СПб.: БХВ-Петербург, 2004. 800 с.

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

20. Кудрявцев В.Б., Алешин C.B., Подколзин A.C. Введение в теорию автоматов. М.: Наука. Гл. ред. физ.-мат. лит., 1985. - 320с.

21. Беннеттс Р. Дж. Проектирование тестопригодных логических схем. М.: Радио и связь, 1990. - 176 с.

22. Курейчик В.М., Родзин С.И. Контролепригодное проектирование и самотестирование СБИС: проблемы и перспективы. М.:, Радио и связь, 1994. 176 с.

23. Литиков И.П. Кольцевое тестирование устройств. М.: Энергоатомиздат, 1990. 160 с.

24. Волынский М.Б. Классы проверяемых неисправностей программируемых логических матриц / Волынский М.Б., Новоселов В.Г. // Респ. межвед. научн.-техн. сб. М.: Приборостроение, 1983. Вып. 35.С.37- 41.

25. Волынский М.Б., Новоселов В.Г. Обнаружение и поиск неисправностей программируемых логических матриц / Волынский М.Б., Новоселов В.Г. // Микроэлектроника. 1983. Т.12. №4. С.306-312.

26. Бутаков Е.А. Диагностика программируемых логических матриц / Бутаков Е.А., Волынский М.Б., Новоселов В.Г. М.: Радио и связь. 1991. 160 с.

27. Закревский А.Д. К построению проверяющих тестов ПЛМ// Автоматика и вычислительная техника. 1982. №2. С. 73-76.

28. Люлькин А.Е. Синтез тестов для программируемых логических матриц / Люлькин А.Е., Павлова Т.Г.//Микроэлектроника. 1983. Т.12.№ 4.С. 299 305.

29. Соменци Ф. Обнаружение неисправностей в программируемых логических матрицах / Соменци Ф., Гай С. // ТИИЭР. 1986. Т. 74. № 5. С. 41-57.

30. Уткин A.A. Построение проверяющих тестов для программируемых логических матриц // Алгоритмы логического проектирования. Минск. 1983. С.83 -96.

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

32. Fujiwara Н. A design of programmable logic arrays with universal tests / Fujiv/ara H., Kinoshita K. // IEEE Trans, on Comput. 1981. Vol. № 11. P. 823 -828.

33. Fujiwara H. A new PLA design for universal testability // IEEE Trans, on Comput. 1984. Vol. № 8. P. 745 750.

34. Усатенко C.T. Выполнение электрических схем по ЕСКД: Справочник / Усатенко С.Т., Коченюк Т.К., Терехова M.B. М.: Издательство стандартов, 1992. 316 с.

35. Логическое проектирование БИС / Под ред. В.А. Мищенко. М.: Радио и связь, 1984. 312 с.

36. Гольдман P.C. Техническая диагностика цифровых устройств / Гольдман P.C., Чипулис В.П. М.: Энергия, 1976. 224 с.

37. Карпов Ю. Г. Теория автоматов. СПб.: Питер, 2002. 224 с.

38. Акинина Ю.С. Анализ принципов построения и формализация модели легкодиагностируемых ПЛМ с перестраиваемым логическим базисом // Электроника 2003: Тез докл. 2-я Всероссийская н/т дистанционная конф.-Москва, МИЭТ, 2003.

39. Гаврилюк Д. Внутрисхемное программирование // Компоненты и технологии. 2003. № 8. С. 114-117.

40. Бохманн Д., Постхоф X "Двоичные динамические системы". М.: Энергоатомиздат, 1986.-400с.

41. Кофман А. "Введение в прикладную комбинаторику". Издательство "Наука", главная редакция физико-математической литературы, Москва 1975.-523с.

42. Акинина Ю.С., Тюрин C.B. Тютин М.В. Программный модуль «Преобразователь булевых полиномов» // ФАП ВНТИЦ № 50200400714 от 06.07.2004

43. Акинина Ю.С. Оптимистическая оценка сложности алгоритма восстановления совершенной дизъюнктивной нормальной формы // Техника машиностроения, №5, 2002. С.74-75.

44. Ахмед Н., Pao К.Р. Ортогональные преобразования при обработке цифровых сигналов. М.: Радио и связь, 1980. - 248 с.

45. Садыхов Р.Х., Чеголин П.М., Шмерко В.П. Методы и средства обработки сигналов в дискретных базисах. Минск: Наука и техника, 1987. -296 с.

46. Тоценко В.Г. Алгоритмы технического диагностирования дискретных устройств. М.: Радио и связь, 1985. - 240 с.

47. Дискретная математика и математические вопросы кибернетики, т. 1 / Под ред. С. В. Яблонского и О. Б. Лупанова- М.: Наука, 1974. 312 с.

48. Баранов С. И. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия, 1979. - 232 с.

49. Лысиков Б. Н. Арифметические и логические основы цифровых автоматов. Минск: Высшая школа, 1980. - 230 с.

50. Автоматизация проектирования БИС. В 6 кн.: Практ. пособие. Кн. 2. П. В. Савельев, В. В. Коняхин Функционально-логическое проектирование БИС // Под ред. Г. Г. Казанова- М.: Высшая школа., 1990. 156 с.

51. Новожилов О.П. Основы цифровой техники / Учебное пособие. М.: ИП РадиоСофт, 2004. - 528 с.

52. Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М.: Мир, 1982.-416 с.

53. Закревский А. Д. Комбинаторика логического проектирования. // Автоматика и вычислительная техника. 1990. №2. - с. 68 - 79.

54. Уткин А. А. Экспериментальное исследование алгоритмов "выполнимость" // Автоматика и вычислительная техника. 1990. - №6. - с. 66-74.

55. Петрович Т.Н., Размахнин М.К. Системы связи с шумоподобными сигналами. М.: Сов. радио, 1969 - 232 с.

56. Лезин Ю.С. Оптимальные фильтры и накопители импульсных сигналов, М.: Сов. радио, 1963 - 319 с.

57. Корн Г.А. Моделирование случайных процессов на аналоговых и аналогово-цифровых машинах. М.: Мир 1968 - 315 с.

58. Алексеев А.И., Шереметьев А.Г., Тузов Г.И., Глазов Б.И. Теория и применение псевдослучайных сигналов. М.: Наука, 1969 - 368 с.

59. Ярмолик В.Н., Демиденко С.Н. Генерирование и применение псевдослучайных сигналов в системах испытаний и контроля/ Под ред. П.М. Чеголина. Мн.: Наука и техника, 1986. - 200 с.

60. Тюрин C.B. Многоканальный генератор коррелированных М-последовательностей // Техника машиностроения, N4(38), 2002. — с. 77-78.

61. Акинина Ю.С., Тюрин C.B. Об одном подходе к формализации понятий «необходимость» и «достаточность» функциональных тестов ОЗУ // Вестник ВГТУ, Вып. 8.1, Воронеж, 2001. С.50-52.

62. Акинина Ю.С., Панявин В.В., Тюрин C.B. Об одном подходе к сравнительной оценке эффективности контрольно-диагностических тестов для цифровых модулей ОЗУ // Вестник ВГТУ, Вып. 8.2, Воронеж, 2002.

63. Владимирский М.М. Тестирование ОЗУ с помощью псевдослучайной двоичной последовательности // Микропроцессорные средства и системы, №4, 1990.-С.91-92

64. Свердлик М.Б. Оптимальные дискретные сигналы. М.: Сов. радио, 1975-200 с.

65. Самсонов Б.Б., Плохов Е.М., Филоненков A.M. Компьютерная математика (основания информатики). Ростов-на-Дону: «Феникс», 2002.-512 с.

66. Бобнев М.П. Генерирование случайных сигналов. Изд. 2-е перераб. и доп. М.: Энергия, 1971.- 240 с .

67. Тюрин C.B. Многоканальный генератор коррелированных М-последовательностей // Техника машиностроения, N4(38), 2002. с. 77-78

68. Акинина Ю.С., Подвальный C.JT., Тюрин C.B. Метод нахождения суммы произвольной совокупности М-последовательностей из одного класса // Информационные технологии моделирования и управления, 3(21), 2005. -Воронеж, Изд-во «научная книга». С. 358- 363.

69. Богданов В.В., Лупиков B.C. Устройство контроля генератора М-последовательностей. А.С. № 1278850, кл. G06, F11/00 // Б. И. 1988. №47.

70. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат, 1988.

71. Акинина Ю.С., Тюрин C.B. Тютин М.В. Программный модуль «Преобразователь булевых полиномов» // ФАП ВНТИЦ № 50200400714 от 06.07.2004

72. Акинина Ю.С., Моргунов Ю.М., Тюрин C.B. Программный модуль «Расчет и генерация эталонных последовательностей для диагностирования неисправностей специализированных ПЛМ» // ФАП ВНТИЦ № 50200400701 от 06.07.2004

73. Акинина Ю.С., Тюрин C.B. Тютин М.В. Программа «Эмулятор программируемой логической матрицы» // ФАП ВНТИЦ № 50200400711 от от 06.07.2004

74. Микропроцессоры: системы программирования и отладки / В.А. Мясников, М.Б. Игнатьев, А.А. Кочкин, ЮЕ. Шейнин; Под ред. В.А. Мясникова, М.Б. Игнатьева. М.: Энергоатомиздат, 1985. - 272 с.

75. Корячко В.П. Конструирование микропроцессорных систем контроля радиоэлектронной аппаратуры. -М.: Радио и связь, 1987. 160 с.

76. Уильяме Г.Б. Отладка микропроцессорных систем. М.: Энергоатомиздат, 1988.-253 с.

77. Разевинг В.Д. Применение программ P-CAD и Pspice для схемотехнического моделирования на ПЭВМ: В 4 выпусках. М.: Высш. школа, 1989.

78. Разевинг В.Д. Система схемотехнического моделирования и проектирования печатных плат Design Center (PSpice). M.: CK Пресс, 1996.

79. Разевинг В.Д. Система схемотехнического моделирования Micro-Cap V. M.: «СОЛОН», 1997. - 280 с.

80. Разевинг В.Д. Универсальная программа проектирования электронных устройств APLAC // PC Week / Re, 1997, №26. С. 45-46.

81. Панфилов Д.И., Иванов B.C., Чепурин И.Н. Элетротехника и электроника в экспериментах и упражнениях: Практикум по Electronics Workbench: в 2 т./ Под общей ред. Д.И. Панфилова. М.: ДО ДЕКА, 1999.

82. Карлащук В.И. Электронная лаборатория на IBM PC. Лабораторный практикум на базе Electronics Workbench и MATLAB. Издание 5-е. М.: СОЛОН-Пресс, 2004. - 800с.

83. Кардашов Г.А. Цифровая электроника на персональном компьютере. Electronics Workbench и Micro-Cap.-M.: Горячая линия-Телеком, 2003.-311 с.1. УТВЕРЖДАЮ»1. АКТоб использовании результатов кандидатской диссертации Акининой Ю.С.

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

85. Указанные результаты включены в учебный процесс на основании решения кафедры ABC, протокол №5 от « 24 » января 2006 г.1. Зав. кафедрой ABC1. Начальник УМУ

86. C.JI. Подвальный А.И. Болдырев1. ИКАП501. Sû£oy7839 Тип ЭВМ7902 Тип и версия ОС5715 Инструментальное ПО7848 Оперативная память1.M PC/AT1. MS Win 9х/2000/ХР1. MS VC7.155007965 Разновидность ПС Программный модуль46

87. Программа 64 Пакет программ 19 Комплект программ7884 Объем программы

88. Международный институт компьютерных технологий2358 Сокращенное наименование организации 2655 Адрес организации1. МИКТ

89. Сведения об организации-разработчике2988 Телефон 3087 Телефакс 2781 Город2187 Наименование организации6183 Авторы (разработчики ПС)

90. Акинина Ю.С., Моргунов Ю.В., Тюрин С.В.9045 Наименование программы

91. Программный модуль ""Расчет и генерация эталонных последовательностей для диагностирования неисправностей специализированных ПЛМ"9117 Реферат

92. В результате разработки создан программный модуль, обеспечивающий реализацию требований, поставленных перед авторами.5436в

93. Фамилия, инициалы Должность Учсгегкнь,зг^Е^ ^^доЩ^Ш?^

94. Руководит, организац. 6111 Кравец О.Я. 6311 Проректор 6210 д.т.ь щт «Р ^ЩШшЩ^. у

95. Библиотека программ 82 Программная система 91 Программный комплекс 28 Информационная структура 37 Прочее5679 Код программы по ЕСПД26499161.001421288