Tools for Functional Verification of Microprocessors

Tools for Functional Verification of Microprocessors

Ensuring the correctness of microprocessors and other microelectronic equipment is a fundamental problem. To deal with it, various tools for functional verification are used. Unlike bugs in software programs which are relatively easy to fix (it does not apply to their consequences), defects in integ...

ver descrição completa

Detalhes bibliográficos
Principais autores: A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov
Formato: Artigo
Idioma:English
Publicado em: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
coleção:Труды Института системного программирования РАН
Assuntos:
микропроцессоры
цифровая аппаратура
верификация
валидация
тестирование
генерация тестов
моделирование
языки описания архитектуры
распараллеливание
Acesso em linha:https://ispranproceedings.elpub.ru/jour/article/view/771

Registros relacionados

Registros relacionados