- •Министерство общего и профессионального образования российской федерации
- •Учебное пособие Воронеж 2000
- •Учебное издание
- •394026 Воронеж, Московский поспект, 14
- •1. Тестовое диагностирование в цифровой технике:
- •1.1. Введение
- •1.2. Тестовое диагностирование в цифровой технике: цепи и терминология
- •1.3. Процедуры и проблемы программного тестирования
- •1.4. Необходимость проектирования тестопригодных схем
- •2. Анализ тестопригодности: система camelot
- •2.1. Количественная оценка тестопригодности
- •2.2 Принципы вычисления управляемости
- •2.3 Принципы вычисления наблюдаемости
- •2.4 Принципы вычисления тестопригодности
- •2.4.1. Тестопригодность как функция управляемости и наблюдаемости
- •2.5. Применение системы camelot на практике.
- •2.5.1. Количественная оценка проектируемых схем.
- •2.5.2. Автоматический выбор контрольных точек.
- •2.5.3 Методика генерации тестов вручную.
- •2.5.4. Методика автоматической генерации тестов
- •2.6. О других системах анализа тестопригодности
- •2.7. Заключительные замечания о методах анализа
- •3. Методы структурного проектирования
- •3.1. Принцип метода сканирования: сканируемый путь
- •3.2. Сканирование с произвольным доступом
- •3.3. Метод сканирования, чувствительного к уровню тактового сигнала
- •3.4. Недостатки и достоинства методов сканирования
- •3.5. Методы самотестирования: bilbo
- •3.5.3. Устройство встроенного поблочного диагностирования логических схем (bilbo)
- •3.6. Заключительные замечания о методах сканирования
- •4. Генерация тестов для схем, реализующих принцип сканирования
- •4.1. Алгоритм podem, условные обозначения, понятия и принципы
- •4.1.5. Вычисление относительных значении управляемости
- •4.2. Процедура podem
- •4.2.1. Пример 1. Основной принцип podem
- •4.2.2. Пример 2. Многомерный d-проход
- •4.2.3. Пример 3. Переопределение состояний первичных входов
- •4.2.4. Заключение относительного алгоритма podem
- •4.3. Процедура raps
- •4.3.1 Пример 4. Процедура raps
- •4.3.2. Заключение о процедуре raps
- •4.4. Методика выполнения процедур raps и podem
- •4.4.1 Использование статического сжатия тестов
- •4.4.2. Использование динамического сжатия тестов
- •4.5. Замечание относительно процедуры моделирования неисправностей
- •4.6. Заключительные замечания о процедурах podem и raps
- •5. Практические рекомендации по проектированию тестопригодных схем
- •5.1. Средства поддержки процедуры генерации тестов
- •5.2. Средства поддержки процедур тестирования и поиска неисправностей
- •Содержание
Министерство общего и профессионального образования российской федерации
Воронежский государственный технический университет
Е.Д.Юршин
ПРОЕКТИРОВАНИЕ КОНТРОЛЛЕПРИГОДНЫХ МИКРОПРОЦЕССОРНЫХ СРЕДСТВ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ
Учебное пособие Воронеж 2000
УДК 681.325.65.06.001.63
Проектирование контроллепригодных микропроцессорных средств вычислительной техники: Учеб. пособие / Е.Д.Юршин. Воронеж: Изд-во ВГТУ , 2000. 121 c.
Рассматриваются вопросы проектирования микропроцессорных средств вычислительной техники с учетом их последующего контроля как техническими так и програмными средствами.
Пособие предназначено для студентов специальности 220100 “Вычислительные машины, комплексы, системы и сети”.
Издание подготовлено на магнитном носителе в текстовом редакторе
WORD-97 и содержится в файле ALL.doc.
Табл. 10 . Ил. 82 . Библиогр. 3 .назв.
Печатается по решению редакционно-издательского совета Воронежского государственного технического университета.
Научный редактор д-р техн. Наук С.Л.Подвальный
Рецензенты: Воронежский муниципальный экономико-
правовой институт. Проректор по научной
работе и программам развития Кравец О.Я.
© Юршин Е.Д. , 2000.
© Оформление. Издательство Воронежского
государственного технического универси-
тета, 2000.
Учебное издание
Юршин Евгений Дмитриевич
ПРОЕКТИРОВАНИЕ КОНТРОЛЛЕПРИГОДНЫХ МИКРОПРОЦЕССОРНЫХ СРЕДСТВ ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИ
Редактор В.Д. Урина
Издательство
Воронежского государственного технического
Университета
394026 Воронеж, Московский поспект, 14
В течение прошедшего пятилетия тестовое диагностирование в электронной промышленности было актом производственной деятельности, который осуществлялся в конце последовательности этапов научно-исследовательской и опытно-конструкторской работы, включающих проектирование, изготовление опытного образца, подготовку производства. Всегда непременно подчеркивалось, что тестирование — это завершающая фаза проектирования. В прошлом это было приемлемо, поскольку сложность электронных схем была вполне допустимой, в частности с позиций «наблюдаемости» поведения компонентов. Развитие технологии интегральных схем изменило это положение. В настоящее время разработчик вынужден рассматривать тестопригодность па раннем этапе при формировании принципов проектирования и выборе структуры схемы, так как высокие затраты, обусловленные трудоемкостью проверки сложных компонентов схемы па соответствие техническим требованиям, могут вызвать провал всего проекта. Принято считать, что в отраслях промышленности, занятых производством как БИС и СБИС, так и систем на их основе, высокая стоимость тестирования (в некоторых случаях 60% полных затрат) может быть уменьшена только путем объединения процессов проектирования и диагностирования, приводящего к принципу «тестопригодного проектирования».
Доктор Р. Беннеттс в течение десяти лет занимался исследованиями в области тестового диагностирования цифровых схем и опубликовал множество научных работ. Ранние работы были выполнены им в Саутгемптонском университете, где он развивал это направление в своей научной и учебной деятельности. Являясь в настоящее время директором компании Cirrus Computers, он все чаще читает курс лекций по проектированию микроэлектронных устройств в Брюнельском и Саутгемптонском университетах. Эта компания была первоначально привлечена к разработке программных средств диагностирования для электронной промышленности. Полученный опыт оказался неоценимым для установления критериев проектирования тестопригодных схем и привел фирму к необходимости разрабатывать компьютерные средства для электронной промышленности.
В главе. 1 представлена полная картина затрат, связанных с тестовым диагностированием и общей методологией проектирования. В последующих главах рассмотрены проблемы анализа тестопригодности, которые сопровождаются детальными примерами конкретных схем. С этих позиции представлены другие методы проектирования и приведены примеры применения этих методов к реальным схемам на протяжении всего изложения. В частности, подробно описан метод сканирования. Подход использования наглядных примеров особенно полезен при описании алгоритмов генерации тестов, таких, как алгоритм PODEM (Path-Orientated DEcision Making), который до настоящего времени обсуждался лишь в институтских отчетах, а не в учебных пособиях для инженеров и студентов. В главе. 5 изложена серия рекомендаций по проектированию тестопригодных логических схем.
Цель этого курса представить инструментальные средства и методы проектирования тестопригодных цифровых логических схем. В настоящее время работники электронной промышленности признают, что тестирование является дорогостоящим процессом и «тестопригодность» должна быть одним из критериев, по которому оценивается уровень проектирования. Что же такое тестопригодность и как разработчику добиться выполнения ее требований? В главе 1 тестопригодность определяется следующим образом:
«Схема является тестопригодной, если процедуры генерации множества тестовых наборов, оценки их эффективности и реализации тестового диагностирования могут быть выполнены при условии соблюдения в установленных пределах финансовых затрат, затрат времени и значений показателей, характеризующих приспособленность схемы к обнаружению неисправностей, поиску места неисправностей и реализации тестового диагностирования».
Менее формальное определение, приписываемое Г. Робинсону из фирмы Cirrus Computers, следующее:
«Тестопригодность — это знание: как делать то, что вам нужно сделать».
Иначе тестопригодность — учет всех факторов, влияющих на разработку схемы так, что последующие процессы тестового диагностирования становятся выполнимыми и разрешимыми.