Підтримка основних, підлеглих та взаємопідключених BFM, включаючи пасивний монітор взаємозв'язку. Клас транзакції підтримує набори обмежень SV для переплетення, виходу з ладу, фази раннього запису даних, затримок між транзакціями та міжтактами, розміру/довжини, адресації. До інших особливостей відносяться:
- Монітор взаємозв'язку ACE перевіряє переходи стану кешу ACE підтримує N-way та повністю асоціативний кеш
- Вводити помилки на всі шари за допомогою зворотних викликів та керування відповіддю завершення підлеглих
- Набір обмежень SV для класів транзакцій генерує багатий набір звичайних запитів та відповідей на помилки
- Багаторівневі трекери протоколів (стан кешу, канал) прискорюють налагодження
- Функціональне покриття відстежує команди, адреси та атрибути
- Інтерфейси до контролерів протоколу ARM для швидшої ізоляції помилок DUT
- Вичерпні спрямовані та обмежені випадкові приклади всіх типів передачі