Разработка программного модуля анализа результатов верификации систем на кристалле

1. Теоретическая часть

1.1. Конкретизация требований

1.2. Разработка структуры и алгоритмов

2. Обзор современного состояния разработок в области верификации систем на кристалле.

2.1. Краткий обзор маршрута проектирования систем на кристалле

2.2. Функциональная верификация

2.2.1. Формальная верификация

2.2.2. Верификация, основанная на моделировании

2.3. Обзор систем непрерывной интеграции

2.3.1. Jenkins

2.3.2. Travis CI

2.3.3. Circle CI

2.3.4. Teamcity

2.3.5. Codeship

2.4. Задача анализа лог-файлов

3. Разработка программного модуля

3.1. Выбор и обоснование средств разработки

3.2. Требования к программному модулю

3.3. Структура программного модуля

3.4. Алгоритмы работы программного модуля

4. Введение

5. Заключение

6. Список используемой литературы

7. Отладка и тестирование

7.1. Отладка программного модуля

7.2. Тестирование программного модуля