|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessorsстатья
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 2 января 2019 г.
- Авторы: Kamkin Alexander, Tatarnikov Andrei
- Журнал: Lecture Notes in Computer Science
- Том: 10742
- Год издания: 2018
- Первая страница: 387
- Последняя страница: 393
- DOI: 10.1007/978-3-319-74313-4_28
- Аннотация: The paper presents MicroTESK, a tool for test program generation for functional verification of microprocessors. It generates test programs from templates which describe generation tasks in terms of constraints that must be satisfied in order to reach certain coverage goals. The tool uses formal specifications of the instruction set as a source of knowledge about the microprocessor under verification. This gives several advantages. First, the tool is easily adapted to new architectures by providing corresponding specifications. Second, constraints that constitute coverage model are automatically extracted from specifications. Third, a reference model used to track the microprocessor state during test generation is constructed on the basis of specifications. Such an approach helps to reduce the effort required to create test programs and increase the quality of testing. The tool has been successfully applied in industrial projects for verification of ARMv8 and MIPS64 microprocessors.
- Добавил в систему: Корныхин Евгений Валерьевич