Поддържайте основни, подчинени и взаимосвързващи BFM, включително пасивен монитор за взаимно свързване. Класът на транзакциите поддържа набори от ограничения SV за преплитане, извън ред, фаза на ранно записване на данни, закъснения между транзакциите и между ритъма, размер/дължина, адресиране. Други функции включват:
- ACE монитор за взаимосвързване проверява преходите на състоянието на кеша ACE поддържа N-посочен и напълно асоциативен кеш
- Инжектирайте грешки във всички слоеве, като използвате обратни обаждания и контролирайте отговора за завършване на подчинените
- Наборът от ограничения SV за класове транзакции генерира богат набор от нормални и грешки заявки и отговори
- Многостепенните проследяващи протоколи (състояние на кеш, канал) правят отстраняването на грешки по-бързо
- Функционалното покритие проследява команди, адреси и атрибути
- Интерфейси към контролните контроли на ARM протокола за по-бързо изолиране на DUT грешки
- Изчерпателни насочени и ограничени случайни примери за всички видове трансфери