Разработка программного модуля анализа результатов верификации систем на кристалле
Moon Lightにより
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