Курсовая работа: Методы динамической верификации высокопроизводительных микросхем

Оглавление
Введение
Средства верификации микропроцессоров
Характеристики качества программного обеспечения
Методы верификации ПО
Классификация методов верификации ПО.
Динамические методы верификации ПО
Применение динамических методов верификации
Как используются динамические методы
Мониторинг
Тестирование
Критерии полноты тестирования
Техники построения тестов
Заключение
Литература:

Введение

Под верификацией понимается проверка соответствия результатов, полученных на различных этапах проектирования (разработки) программно-аппаратного комплекса, требованиям и ограничениям, установленным к ним на предыдущем этапе. Основной задачей проверки является проверка качества конструкции, включая правильность, надежность, производительность, энергопотребление, эргономику и многие другие аспекты.
Поскольку функциональные возможности микропроцессора определяются реализуемой им схемой инструкций, задача верификации, таким образом, заключается в том, чтобы удостовериться, что микропроцессор (точнее его конструктивная модель или схема) правильно реализует все указания, описанные в технической спецификации: во всех возможных случаях результат выполнения каждой инструкции соответствует ее спецификации.
Проверка микропроцессора - чрезвычайно сложная задача. По некоторым оценкам, это стоит около 70% от общей стоимости проектирования, инженеров-верификаторов в два раза больше, чем инженеров-разработчиков, а и