A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

Automated test generation is a promising direction in hardware verification research area. Functional test generation methods based on models are widespread at the moment. In this paper, a functional test generation method based on model checking is proposed and compared to existing solutions. Autom...

وصف كامل

التفاصيل البيبلوغرافية

الحاوية / القاعدة:	Труды Института системного программирования РАН
المؤلفون الرئيسيون:	M. S. Lebedev, S. A. Smolov
التنسيق:	مقال
اللغة:	الإنجليزية
منشور في:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
الموضوعات:	цифровая аппаратура функциональная верификация статический анализ генерация тестов охраняемое действие высокоуровневая решающая диаграмма расширенный конечный автомат проверка модели
الوصول للمادة أونلاين:	https://ispranproceedings.elpub.ru/jour/article/view/138