Анализ применимости формальных методов к верификации протоколов когерентности кэш-памяти масштабируемых систем
14 сентября 2018
208
Предметная область | — |
Выходные данные | — |
Ключевые слова | — |
Вид публикации | Статья |
Контактные данные автора публикации | В.С.Буренков |
Ссылка на публикацию в интернете | mcst.ru/files/556f5f/260cd8/508d39/000001/v.s._burenkov_analiz_primenimosti_formalnyh_metodov_k_verifikatsii_protokolov_kogerentnosti_kesh-pamyati_masshtabiruemyh_sistem.pdf |
Аннотация
Приведен анализ существующих методов верификации
протоколов когерентности кэшпамяти масштабируемых систем.
Предложены направления создания формального метода
верификации протокола когерентности кэшпамяти сложной
системы на кристалле.
протоколов когерентности кэшпамяти масштабируемых систем.
Предложены направления создания формального метода
верификации протокола когерентности кэшпамяти сложной
системы на кристалле.
Для того чтобы оставить комментарий необходимо авторизоваться.