Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов
Аннотация
Список литературы
1. Википедия (http://en.wikipedia.org), статья Instruction pipeline.
2. D. Patterson, J. Hennessy. Computer Organization and Design: The Hardware-Software Interface, 2nd edition, 1997.
3. А.С. Камкин. Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров. Труды ИСП РАН, 2010 (этот же сборник).
4. P. Mishra, N. Dutt. Specification-Driven Directed Test Generation for Validation of Pipelined Processors. ACM Transactions on Design Automation of Electronic Systems, 2008.
5. P. Grun, A. Halambi, A. Khare, V. Ganesh, N. Dutt, A. Nicolau. EXPRESSION: An ADL for System Level Design Exploration. Technical Report 1998-29, University of California, Irvine, 1998.
6. www.cs.cmu.edu/~modelcheck/smv.html.
7. T.N. Dang, A. Roychoudhury, T. Mitra, P. Mishra. Generating Test Programs to Cover Pipeline Interactions. Design Automation Conference, 2009.
8. A. Adir, E. Almog, L. Fournier, E. Marcus, M. Rimon, M. Vinov, A. Ziv. Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification. Design and Test of Computers, 2004.
9. S. Ur, Y. Yadin. Micro-Architecture Coverage Directed Generation of Test Programs. Design Automation Conference, 1999.
10. А.С. Камкин. Генерация тестовых программ для микропроцессоров. Труды ИСП РАН, 2008.
11. MIPS64TM Architecture For Programmers. Revision 2.0. MIPS Technologies Inc., 2003.
12. Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для подсистемы управления памятью микропроцессора. Труды ИСП РАН, 2009.
Рецензия
Для цитирования:
Воробьев Д.Н., Камкин А.С. Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов. Труды Института системного программирования РАН. 2010;18.
For citation:
Vorobyev D.N., Kamkin A.S. Test Program Generation for Microprocessors Based on Pipeline Hazards Templates. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;18. (In Russ.)