Применимость инcтрумента Spin к верификации протоколов когерентности памяти
19.01.2017
Нет комментариев
Широкое использование методов поиска ошибок в устройствах, которые реализуют протоколы когерентности памяти, основанных на моделировании со случайными воздействиями, не обеспечивает 100%-ной полноты верификации. Некоторые ошибки могут проявиться лишь при возникновении