Исследование и разработка подсистемы автоматизированного контроля БИС.

• Автор: Преображенский, Николай Борисович
• Шифр специальности: 05.13.13
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 142 c. : ил

СОДЕРЖАНИЕ

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТ.

ВВЕДЕНИЕ. ПОСТАНОВКА ЗАДАЧИ РАЗРАБОТКИ АВТОМАТИЗИРОВАННОЙ ПОДСИСТЕМЫ ФОРМИРОВАНИЯ ТЕСТОВ ДЛЯ БИС.
1. Задача построения тестов для цифровых схем. Тенденции изменения процесса проектирования.

2. Требования, предъявляемые к подсистеме

построения тестов.

3. Методы построения контролирующих тестов.

4. Расширение класса контролируемых неисправностей. Дополнительные задачи, возлагаемые на подсистему построения тестов.
Выводы.

ГЛАВА I. ПОСТРОЕНИЕ ТЕСТОВ ДЛЯ КОНТРОЛЯ ОДИНОЧНЫХ КОНСТАНТНЫХ НЕИСПРАВНОСТЕЙ.

1.1. Формы представления модели тестируемой схемы в памяти инструментальной ЦВМ, и связанные с ними принципы построения тестов.
1.2. Метод случайного построения тестов.
1.3. Метод построения теста по кубическим покрытиям.
1.4. Подход к интерактивному построению
теста.
1.5. Моделирование неисправностей цифровых
Выводы.
ГЛАВА 2. ПОДСИСТЕМА ФОРМИРОВАНИЯ КОНТРОЛИРУЮЩИХ ТЕСТОВ ДЛЯ ШС. .
2.1. Краткое описание АСП Компас.
2.2. Состав и организационные особенности подсистемы построения тестов.
2.3. Описание подсистемы. Работа с объектами тестирования. Синтез и анализ тестов.
2.3.1. Объект тестирования.
2.3.2. Контролирующие тесты. Структура
тестового набора.
2.3.3. Работа с тестами и их анализ.
2.3.4. Способы построения контролирующего
теста.
2.4. Интерактивное построение тестов.
2.4.1. Формирование входного набора.
2.4.2. Анализ результатов шага моделирования.
2.4.3. Определение режимов моделирования.
2.4.4. Запись результатов моделирования.
2.4.5. Анализ состава приказов интерактивного построения тестов.
Выводы.
ГЛАВА 3. ПОДГОТОВКА ИСПЫТАТЕЛЬНЫХ ПРОГРАММ ДЛЯ КОНТРОЛЯ ПАРАМЕТРОВ ШС, И ВЫПУСК СОПРОВОЖДАЮЩЕЙ ДОКУМЕНТАЦИИ.
3.1. Принципы подготовки испытательных программ.
3.2. Формирование испытательной программы проверки БИС на устройстве контроля Вахта1А
3.3. Формирование испытательной программы проверки БИС на устройстве контроля ЛадабИ.
3.4. Подготовка документации контроля для проектируемых БИС.
Вывода.
ГЛАВА 4. ИССЛЕДОВАНИЕ РЕЗУЛЬТАТОВ СИНТЕЗА ТЕСТОВ И АНАЛИЗ НЕКОТОРЫХ ВОЗМОЖНОСТЕЙ ИНТЕРАКТИВНОЙ ПОДСИСТЕМЫ.
4.1. Экспериментальные оценки использования алгоритмов построения тестов.
4.2. Оценка результатов трассировки с точки зрения вероятности появления ошибок монтажа. Рекомендации по построению тестов.
4.3. Исследование возможностей, предоставляемых пользователю блоком синтеза испытательных программ.
4.4. Общие оценки результатов реализации подсистемы построения тестов для БИС.
4.5. Результаты эксплуатации подсистемы. Вывода.
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА


Результаты разработки доложены на научнотехнических семинарах Автоматизация проектирования в ИТМ и ВТ, на семинарах факультета вычислительной математики и кибернетики МГУ, на конференциях молодых учных и специалистов ИТМ и ВТ в и г. САПР в г. Пенза и на республиканской конференции по машинным методам проектирования в Каунасе . Публикации по работе. Основные положения диссертационной работы освещены в 5 опубликованных печатных работах. Структура и объм работы. Работа состоит из введения, четырх глав и заключения. Список литературы включает в себя наименований. Общий объм работы составляет 6 страниц машинописного текста, включая страницу рисунков и иллюстраций. Диссертация состоит из введения, четырх глав и заключения, Ряд материалов, связанных с описываемой работой, представлен в приложениях. Во введении выполнен краткий анализ существующих систем автоматизированного построения тестов, отмечены тенденции развития систем и изменения требований к ним при проектировании БИС. Обзор основных методов построения тестов позволил сделать предварительный выбор алгоритмов построения тестов, пригодных для интерактивной и пакетной работы. В первой главе на основании выполненной экспериментальной проверки приводится выбор алгоритмов построения тестов для одиночных константных неисправностей с использованием генератора случайных входных воздействий и формирования контролирующих тестов с помощью Далгоритма. Рассматривается подход к интерактивному формированию тестов с использованием функциональнологической модели контролируемого объекта. Вторая глава посвящена описанию организации подсистемы. Особое внимание уделено описанию процедур работы с тестами, целей и методов выполнения этих работ в подсистеме. Отдельные разделы показывают связь подсистемы с базовой АСП и е архивами. В последнем разделе главы показана реализация функциональнологического моделирования неисправностей. В третьей главе рассмотрены особенности, отличающие процесс трансляции тестов в испытательные программы для
проверки работоспособности БИС. Рассмотрено построение транслятора тестов в испытательные программы, написанные на специализированном алгоритмическом языке, и обоснована многопроходная схема трансляции. Описана конкретная реализация блоков подготовки испытательных программ и подготовки выходной документации, сопровождающей сформированные тесты. Четвртая глава содержит исследование результатов построения тестов и анализ возможностей, предоставляемых пользователю в подсистеме. Приводятся результаты экспериментальной оценки возможности появления ошибок монтажа на основании автоматического обследования узких мест трассировки БИС. На основании этих оценок сделаны рекомендации по развитию подсистемы для обработки неисправностей типа короткое замыкание. Кроме того, приводится анализ возможностей, предоставляемых при сегментированном синтезе испытательных программ произвольной длины и структуры. В главе содержатся общие оценки результатов эксплуатации подсистемы. В приложениях приводятся экземпляры документов, формируемых с помощью подсистемы. ПОСТАНОВКА ЗАДАЧИ РАЗРАБОТКИ АВТОМАТИЗИРОВАННОЙ ПОДСИСТЕМЫ ФОРМИРОВАНИЯ ТЕСТОВ ДЛЯ БИС. Сложность задачи проектирования элементной базы для высокопроизводительных ЦВМ усугубляется сжатыми сроками цикла проектирования БИС. Полный цикл разработки БИС от момента выработки технического задания до выпуска документов на разработанное изделие составляет ориентировочно месяц. В связи с зтим, применение ЦВМ на всех этапах сквозного проектирования, в том числе и на этапе построения тестов, становится необходимым. ЗАДАЧА ПОСТРОЕНИЯ ТЕСТОВ ДЛЯ ЦИФРОВЫХ СХЕМ. ТЕНДЕНЦИИ ИЗМЕНЕНИЯ ПРОЦЕССА ПРОЕКТИРОВАНИЯ. Выбор и обоснование структуры подсистемы построения тестов во многом обусловлены тем кругом задач, которые предстоит решать в рамках подсистемы. Применение схем средней и большой интеграции при разработке цифровых устройств значительно ускоряет процесс проектирования, но при этом перед разработчиком цифровой аппаратуры встат ряд проблем, связанных с проверкой работоспособности СИС и БИС. Существуют интегральные схемы, для проверки которых требуется тест, состоящий из нескольких тысяч входных воздействий 3, 5 .