Данная запись является продолжением записи «Использование информации о структуре микроархитектурных моделей при верификации: вступление». Поэтому я полагаю, что читатель уже имеет представление о языке моделирования xMAS и его примитивах, описанных в предыдущей статье.
↧