Preview

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

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

Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров

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

Аннотация

В работе рассматриваются вопросы автоматизированного построения тестовых программ, предназначенных для функциональной верификации модулей обработки переходов микропроцессоров. Формулируются задачи, возникающие при создании таких программ, и предлагаются техники их автоматизированного решения. Статья фокусируется на общих вопросах тестирования механизмов обработки переходов и не затрагивает проблемы специфичные для конкретных микропроцессорных архитектур. Предложенные техники можно использовать в промышленных генераторах тестовых программ.

Об авторе

А. С. Камкин
ИСП РАН
Россия


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

1. D. Patterson, J. Henessy. Computer Organization and Design. 3rd Edition, Morgan Kaufmann, 2005.

2. Википедия (http://en.wikipedia.org), статья Branch delay slot.

3. Википедия (http://en.wikipedia.org), статья Branch predictor.

4. T.-Y. Yeh, Y.N. Patt. Two-Level Adaptive Training Branch Prediction. Proceedings of International Symposium on Microarchitecture, 1991.

5. А.С. Камкин. Генерация тестовых программ для микропроцессоров. Труды ИСП РАН, т. 14, ч. 2. М., 2008. С. 23–63.

6. MIPS64™ Architecture For Programmers. Revision 2.0. MIPS Technologies Inc., June 9, 2003.

7. A. Kamkin. MicroTESK: Automation of Test Program Generation for Microprocessors. Proceedings of East-West Design & Test Symposium, 2009.

8. http://hardware.ispras.ru.


Рецензия

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


Камкин А.С. Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров. Труды Института системного программирования РАН. 2010;18.

For citation:


Kamkin A.S. Some issues of automation of test program generation for branch units of microprocessors. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;18. (In Russ.)



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


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