Найдено научных статей и публикаций: 3, для научной тематики: Verification
1.
Стотланд И.А., Лагутин А.А.
- Вопросы радиоэлектроники , 2014
Рассмотрены основные способы построения тестовых систем и эталонных программных моделей для автономной верификации модулей микропроцессоров. Предложены подходы к организации взаимодействия тестовых систем и эталонных событийных моделей, а также методы адаптации компонентов программных моделей микроп...
Рассмотрены основные способы построения тестовых систем и эталонных программных моделей для автономной верификации модулей микропроцессоров. Предложены подходы к организации взаимодействия тестовых систем и эталонных событийных моделей, а также методы адаптации компонентов программных моделей микропроцессоров. Описан опыт разработки и применения высокоуровневой событийной модели для автономной верификации не конвейерного модуля микропроцессора.
2.
Kalentyev A., Tyugashev A., Bogatov A., Shulyndin A.
- ЯрГУ , 2011
Visual toolset for real-time onboard programs verification support...
Visual toolset for real-time onboard programs verification support
Proc. Program Semantics, Specification and Verification: Theory and Applications. Saint-Petersburg, 2011 P120-127
3.
A Tyugashev
- Journal of Computer and Systems Sciences International , 2006
Integrated development environment for real-time control algorithms degign has been presented....
Integrated development environment for real-time control algorithms degign has been presented.
Journal of Computer and Systems Sciences International. 2006. Т. 45. № 2. С. 287-300.
