Approaches to Stand-alone Verification of Multicore Microprocessor Caches

Authors: PETROCHENKOV M., STOTLAND I., MUSHTAKOV R.

Source: Труды Института системного программирования РАН, Vol 28, Iss 3, Pp 161-172 (2018)

Subject Terms: недетерминированное поведение, Electronic computers. Computer science, кэш-память, «sparc-v9», тестовая система, автономная верификация, QA75.5-76.95, микропроцессор «эльбрус», MULTICORE MICROPROCESSORS,CACHE MEMORY,OUT-OF-ORDER EXECUTION,TEST SYSTEM,NONDETERMINISTIC BEHAVIOR,MODEL-BASED VERIFICATION,STAND-ALONE VERIFICATION,'SPARC-V9','ELBRUS-8C',МНОГОЯДЕРНЫЙ МИКРОПРОЦЕССОР,КЭШ-ПАМЯТЬ,ВНЕОЧЕРЕДНОЕ ИСПОЛНЕНИЕ,ТЕСТОВАЯ СИСТЕМА,НЕДЕТЕРМИНИРОВАННОЕ ПОВЕДЕНИЕ,ВЕРИФИКАЦИЯ НА ОСНОВЕ ЭТАЛОННЫХ МОДЕЛЕЙ,АВТОНОМНАЯ ВЕРИФИКАЦИЯ,МИКРОПРОЦЕССОР 'ЭЛЬБРУС', внеочередное исполнение, верификация на основе эталонных моделей, многоядерный микропроцессор

File Description: text/html

Access URL: http://www.ispras.ru/proceedings/docs/2016/28/3/isp_28_2016_3_161.pdf
https://doaj.org/article/8cb468c606d64161ac2ec078e6183c72
https://ispranproceedings.elpub.ru/jour/article/view/115
https://ispranproceedings.elpub.ru/jour/article/download/115/66
https://cyberleninka.ru/article/n/approaches-to-stand-alone-verification-of-multicore-microprocessor-caches
https://www.ispras.ru/en/proceedings/isp_28_2016_3/isp_28_2016_3_161/
http://cyberleninka.ru/article/n/approaches-to-stand-alone-verification-of-multicore-microprocessor-caches
http://cyberleninka.ru/article_covers/16873689.png

К установке сложных систем в известное состояние

Contributors: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур

Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 12. С. 111-113

Subject Terms: установочные эксперименты, недетерминированные автоматы, сложные системы, недетерминированное поведение

File Description: application/pdf

Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000450378

К установке сложных систем в известное состояние

Authors: Евтушенко, Нина Владимировна, Кушик, Наталья Геннадьевна

Contributors: Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур

Source: Известия высших учебных заведений. Физика. 2012. Т. 55, № 12. С. 111-113

Subject Terms: недетерминированное поведение, установочные эксперименты, сложные системы, недетерминированные автоматы

File Description: application/pdf

Relation: vtls:000450378; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000450378

Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000450378