Метод верификации подсистемы прямого доступа периферийных устройств к оперативной памяти микропроцессоров семейства “Эльбрус”
14 сентября 2018
236
| Предметная область | — |
| Выходные данные | — |
| Ключевые слова | — |
| Вид публикации | Статья |
| Контактные данные автора публикации | В.Н.Куцевол, А.Н.Мешков, М.П.Рыжов, П.В.Фролов |
| Ссылка на публикацию в интернете | mcst.ru/files/556f63/bf0cd8/50e708/000000/v.n._kutsevol_a.n._meshkov_m.p._ryzhov_p.v._frolov_metod_verifikatsii_podsistemy_pryamogo_dostupa_periferiynyh_ustroystv_k_operativnoy_pamyati_mikroprotsessorov_semeystva_elbrus.pdf |
Аннотация
Описан метод верификации подсистемы прямого доступа к
памяти, используемый при разработке микропроцессоров
семейства «Эльбрус». Разработан имитатор контроллера
периферийных устройств, позволяющий снизить накладные
расходы при верификации. Модель имитатора включена в состав функциональной модели вычислительного комплекса. Реализован опирающийся на функциональную модель генератор псевдослучайных тестов, направленных на верификацию подсистемы прямого доступа к памяти.
Подробнеепамяти, используемый при разработке микропроцессоров
семейства «Эльбрус». Разработан имитатор контроллера
периферийных устройств, позволяющий снизить накладные
расходы при верификации. Модель имитатора включена в состав функциональной модели вычислительного комплекса. Реализован опирающийся на функциональную модель генератор псевдослучайных тестов, направленных на верификацию подсистемы прямого доступа к памяти.
Для того чтобы оставить комментарий необходимо авторизоваться.