Suporta BFMs master, slave e interconnect, incluindo monitor de interconexão passivo. A classe de transação suporta conjuntos de restrições SV para intercalação, desordem, fase inicial de gravação de dados, atrasos entre transações e entre batidas, tamanho/comprimento e endereçamento. Outros recursos incluem:
- O monitor de interconexão ACE verifica as transições de estado do cache. O ACE suporta cache n-way e totalmente associativo
- Injete erros em todas as camadas usando retornos de chamada e controle a resposta de conclusão do escravo
- O conjunto de restrições SV para classes de transação gera um rico conjunto de solicitações e respostas normais e de erro
- Rastreadores de protocolo de vários níveis (estado de cache, canal) tornam a depuração mais rápida
- A cobertura funcional rastreia comandos, endereços e atributos
- Interfaces com verificadores de protocolo ARM para isolar bugs do DUT mais rapidamente
- Exemplos aleatórios abrangentes, direcionados e restritos de todos os tipos de transferência