Институт системного программирования им. В.П. Иванникова РАН


Test Data Generation for Arithmetic Subsystem of CPUs MIPS64.

Авторы

E. Kornikhin.

Аннотация

The main problem is test data generation for arithmetic subsystem testing of CPUs MIPS64. A method is proposed to solve this problem. The method uses a formal description of processor functionality. A language for this description is proposed also. This language permits automatic test data generation.

Полный текст статьи в формате pdf (на английском)

Издание

Proceedings of SYRCoSE'08, Volume 2, pp.43-46.

DOI: 10.15514/SYRCOSE-2008-2-20

ISBN 978-5-91474-006-8.

Научная группа

Технологии программирования

Все публикации за 2008 год Все публикации