Подход к верификации модуля прямого доступа к памяти
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
Послать статью по эл. почте 