Preview

Труды Института системного программирования РАН

Расширенный поиск

Подход к верификации модуля прямого доступа к памяти

https://doi.org/10.15514/ISPRAS-2015-27(3)-10

Полный текст:

Аннотация

В статье описан метод верификации подсистемы прямого доступа к памяти, примененный к семейству микропроцессоров «Эльбрус». Для сокращения накладных расходов на верификацию подсистемы разработан имитатор периферийных контроллеров. Модель имитатора контроллеров была включена в функциональный симулятор вычислительного комплекса. На основе функциональной модели был разработан генератор псевдослучайных тестов, предназначенных для верификации подсистемы прямого доступа к памяти.

Об авторах

В. Н. Куцевол
ЗАО «МЦСТ»
Россия


А. Н. Мешков
ЗАО «МЦСТ»
Россия


М. П. Рыжов
ЗАО «МЦСТ»
Россия


П. В. Фролов
ЗАО «МЦСТ»
Россия


Список литературы

1. Grosso, M. et al. Functional Verification of DMA Controllers - Journal of Electronic Testing: Theory and Applications Volume 27 Issue 4, August 2011, Pages 505-516.

2. А.К.Ким, М.С.Михайлов, В.М.Фельдман. Подсистема ввода-вывода для систем на кристалле "МЦСТ-4R" и "Эльбрус-S" на основе микросхемы контроллера периферийных интерфейсов. - Вопросы радиоэлектроники, серия ЭВТ, выпуск 3, 2012.

3. Гурин К.Л., Мешков А.Н., Сергин А.В., Якушева М.А. Развитие модели подсистемы памяти вычислительных комплексов серии «Эльбрус». - Вопросы радиоэлектроники, серия ЭВТ, 2010, выпуск 3.

4. Nohl, A., Braun, G., Schkiebusch, O., Leupers, R., Meyr, H., A Universal Technique for Fast and Flexible Instruction-Set Architecture Simulation, DAC2002, June 10-14, New Orleans, Louisiana, USA, 2002.

5. Фролов П.В. Генерация случайных тестов системного уровня для микропроцессоров с архитектурой «Эльбрус». - Вопросы радиоэлектроники, серия ЭВТ, 2014, выпуск 3.

6. Исаев М.В., Поляков Н.Ю. Применение кэша и справочника DMA-обменов в NUMA-системах для повышения производительности подсистемы ввода-вывода. Первая всероссийская научно-техническая конференция “Расплетинские чтения”: сб. тез. докл., стр. 169-170, 2013.


Для цитирования:


Куцевол В.Н., Мешков А.Н., Рыжов М.П., Фролов П.В. Подход к верификации модуля прямого доступа к памяти. Труды Института системного программирования РАН. 2015;27(3):139-148. https://doi.org/10.15514/ISPRAS-2015-27(3)-10

For citation:


Kutsevol V..., Meshkov A..., Ryzhov M..., Frolov P... An approach to Direct Memory Access module verification. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):139-148. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-10

Просмотров: 109


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)