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

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

Автор: Зизин, Георгий Валентинович

Шифр специальности: 05.13.11

Научная степень: Кандидатская

Год защиты: 1999

Место защиты: Воронеж

Количество страниц: 119 с. ил.

Артикул: 259646

Автор: Зизин, Георгий Валентинович

Стоимость: 250 руб.

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. Известны и другие методы сокращения множества неисправностей, основанные на анализе отношений поглощения и подобия . Использование различных методов снижения количества неисправностей. Г, пропорционально количеству логических вентилей в схеме. И хотя , модель одиночной константной неисправности не отображает всего разнообразия ошибок ИС, широко распространено мнение о том, что тест, который обнаруживает высокий процент одиночных константных ошибок, обнаруживает значительную долю и других типов неисправностей , в том числе и функциональных. Автор в работе ограничился рассмотрением именно этого класса, поскольку значительная часть физических дефектов действительно проявляется в виде одиночных константных неисправностей. С другой стороны, а отличие от неисправностей других классов, константные неисправности хорошо формализуются в двоичной логике и проще алгоритмизируются в системах моделирования и синтеза тестов. Процета обнаружения покрытия неисправностей один из показателей эффективности подсистемы верификации и генерации тестов.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.210, запросов: 244