- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Developing test systems for multi-modules hardware designs.
Авторы
M.Chupilko.
Аннотация
The paper proposes the approach of creating test systems for complex hardware designs. The designs can be subdivided into modules and verified separately. The proposed architecture of separated verification systems and the way to combine them into a complex test system are based on simulation-based verification of hardware designs. The components of test systems are connected in a TLM-like way that allows to use high-level model of commutation based on messages and thereby to simplify merging of several test systems into a test system for the complex component.
Полный текст статьи в формате pdf (на английском)Ключевые слова
complex hardware designs; simulation-based verification;combination of test systems
Издание
Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering, 2011, pp. 111-116.
DOI: 10.15514/SYRCOSE-2011-5-19
ISBN 978-5-91474-017-4