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

• Автор: Зизин, Георгий Валентинович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 1999
• Место защиты: Воронеж
• Количество страниц: 119 с. : ил.

1.1. Этапы верификации объектов проектирования

1.1.1 .Моделирование неисправностей.

1.2. Анализ систем генерации тестовых последовательностей

1.3. Проблемы верификации и генерации тестов сложных цифровых схем

1.4. Постановка задачи.

выводы.
ГЛАВА 2. ЛИНГВИСТИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ПОДСИСТЕМЫ ГЕНЕРАЦИИ ТЕСТОВ И ВЕРИФИКАЦИИ БОЛЬШИХ I ИФРОВЫХ СХЕМм икитмминмммитмнмиммтмимимми
2.1. Обоснование структуры прикладных средств генерации тестов и верификации сложных цифровых систем
2.2. Разработка лингвистических средств и информационного обеспечения подсистемы верификации и генерации тестов

2.2.1. Разработка лингвистических средств подсистемы генерации тестов и ВЕРИФИКАЦИИ

2.2.2. Разработка информационною обеспечения подсистемы

2.2.3. Формирование базы данных
ВЫВОДЫ.
ГЛАВА 3. АЛГОРИТМИЗАЦИЯ МОДЕЛИРОВАНИЯ НЕИСПРАВНОСТЕЙ И МЕТОДОВ ГЕНЕРАЦИИ ТЕСТОВ СЛОЖНЫХ ЦИФРОВЫХ СХЕМ
3.1. Алгоритм ускоренного моделирования неисправностей.
3.2. Метод случайной генерации тестов
3.3. Повышение эффективности алгоритмов направленной штерации тесгов ВЫВОДЫ
ГЛАВА 4. СТРУКТУРА, ОСОБЕННОСТИ ПОСТРОЕНИЯ И ХАРАКТЕРИСТИКИ ПРОГРАММНОГО КОМПЛЕКСА ГЕНЕРАЦИИ ТЕСТОВ И ВЕРИФИКАЦИИ СЛОЖНЫХ ЦИФРОВЫХ СХЕМ.
4.1 .Структура и особенности реализации прот раммных средств тънерации тестов и верификации сложных цифровых схем.
4.2. Особенности взаимодействия и интеграция разработанных программных средств в общей системе сквозного проектирования.
4.3. Эффективность применения подсистемы автоматизированной генерации тестов.
4.4. Методика использования средств генерации тестов и верификации ИС ВЫВОДЫ.
ЗАЬЛЮ I
И ГЕРАIУ Р А 5
ВВЕДЕНИЕ
Актуальность


Именно изза таких сложностей широкое распространение получила модель одиночных константных неисправностей. Даже при таком ограничении число неисправностей достаточно велико. Для снижения общего числа неисправностей разработаны методы 6. Наибольшее применение получили методы сокращения количества неисправностей, основанные на анализе эквивалентности отношений между неисправностями. Различают структурную и функциональную эквивалентность неисправностей 4. Известны и другие методы сокращения множества неисправностей, основанные на анализе отношений поглощения и подобия . Использование различных методов снижения количества неисправностей. Г, пропорционально количеству логических вентилей в схеме. И хотя , модель одиночной константной неисправности не отображает всего разнообразия ошибок ИС, широко распространено мнение о том, что тест, который обнаруживает высокий процент одиночных константных ошибок, обнаруживает значительную долю и других типов неисправностей , в том числе и функциональных. Автор в работе ограничился рассмотрением именно этого класса, поскольку значительная часть физических дефектов действительно проявляется в виде одиночных константных неисправностей. С другой стороны, а отличие от неисправностей других классов, константные неисправности хорошо формализуются в двоичной логике и проще алгоритмизируются в системах моделирования и синтеза тестов. Процета обнаружения покрытия неисправностей один из показателей эффективности подсистемы верификации и генерации тестов.