Информационная система "Конференции"

VI Всероссийская конференция молодых ученых по математическому моделированию и информационным технологиям (с участием иностранных ученых)

29-31 октября 2005 года, г. Кемерово, Россия

Тезисы докладов

информационные технологии

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

Панов Н.В.

ИВТ СО РАН (Новосибирск)

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

Как правило, требуется полное тестовое покрытие, но здесь на передний план выходит проблема нехватки машинного времени. Тривиальный перебор неприемлем - он занял бы годы, так как слишком велико количество вариантов. К тому же, далеко не все задачи тестирования можно решить простым итерированием параметров. Часто необходимо проверить поведение устройства в изощренной, заранее подготовленной ситуации.

При ручной подготовке тестов велика вероятность возникновения ошибки в тестовом коде, на создание тестовой ситуации требуется время и знание особенностей конкретной вычислительной архитектуры, невозможно обеспечить постоянную загрузку эмулятора.

Таким образом, встает задача организации эффективного автоматического процесса тестирования и верификации процессора.

Использование парадигмы программирования в ограничениях позволило естественным образом реализовать учет сложных зависимостей между командами, данными и состоянием процессора, возникающих при работе тестовой программы. Но при использовании этой технологии скорость работы генератора оказалась крайне неудовлетворительной.

Применение методов интервального анализа позволило существенно ускорить работу программы.

Использование интервального анализа при решении задачи удовлетворения ограничений позволяет избежать преждевременного означивания переменных, что ускоряет работу генератора тестов за счет уменьшения количества несовместных означиваний, а, следовательно, и откатов тестовой системы к предыдущему совместному состоянию. Кроме того, интервальные методы представления данных упрощают работу с памятью, регистрами, системными таблицами.

Созданная система для автоматического тестирования используется в настоящее время при разработке одного из отечественных микропроцессоров.

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии
Обратная связь

[Головная страница]
[Конференции]