Soporta BFM maestro, esclavo e interconexión, incluido el monitor de interconexión pasiva. La clase de transacciones admite conjuntos de restricciones SV para intercalar, desordenar, fase de escritura temprana de datos, retrasos entre transacciones e intertiempos, tamaño/longitud, direccionamiento. Otras funciones incluyen:
- El monitor de interconexión ACE verifica las transiciones de estado de la caché ACE admite una caché N-direccional y totalmente asociativa
- Inyectar errores en todos los niveles mediante devoluciones de llamada y controlar la respuesta de finalización del esclavo
- El conjunto de restricciones de SV para las clases de transacciones genera un conjunto rico de solicitudes y respuestas normales y de error
- Los rastreadores de protocolos multinivel (estado de la caché, canal) aceleran la depuración
- La cobertura funcional rastrea los comandos, las direcciones y los atributos
- Interfaces con los comprobadores de protocolo ARM para aislar los errores de DUT más rápido
- Ejemplos aleatorios completos, dirigidos y restringidos de todos los tipos de transferencias