Suporte BFM mestre, escravo e de interconexão, incluindo monitor de interconexão passiva. A classe de transação suporta conjuntos de restrições SV para intercalação, fora de ordem, fase de dados de gravação antecipada, atrasos entre transações e entre batidas, tamanho/comprimento, endereçamento. Outras características incluem:
- Monitor de interconexão ACE verifica as transições de estado da cache ACE suporta N way e cache totalmente associativa
- Injectar erros em todas as camadas usando retornos de chamada e controlar a resposta de conclusão do escravo
- O conjunto de restrições SV para classes de transação gera um rico conjunto de pedidos e respostas normais e de erro
- Os rastreadores de protocolo multinível (estado da 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 DUT mais rapidamente
- Exemplos aleatórios abrangentes dirigidos e restritos de todos os tipos de transferência