Главная страница « Спецсеминары «

ВЕРИФИКАЦИЯ МОДЕЛЕЙ МИКРОПРОЦЕССОРОВ

Заинтересовались? Напишите нам: Камкин Александр kamkin@ispras.ru

Сейчас нам интересны такие исследования:

Модели микропроцессоров – необходимая часть разработки микропроцессоров. Мы занимаемся задачами анализа, верификации и тестирования этих моделей.

1. Формальная верификации моделей аппаратуры;

2. Статический анализ Verilog-кода;

3. Автоматизированная генерация ассемблерных программ для тестирования ими микропроцессора;

4. Методы оценки полноты тестирования;

5. Развитие генераторов тестовых последовательностей;

Присоединяйтесь!