Apoye los BFM maestros, esclavos e interconectados, incluido el monitor de interconexión pasivo. La clase de transacción admite conjuntos de restricciones SV para intercalado, fuera de orden, fase de datos de escritura temprana, retrasos entre transacciones e interlatidos, tamaño/longitud, direccionamiento. Otras características incluyen:
- El monitor de interconexión ACE verifica las transiciones de estado de la caché El ACE admite la memoria caché N-way y totalmente asociativa
- Inyecte errores en todas las capas usando devoluciones de llamada y controle la respuesta de finalización del esclavo
- El conjunto de restricciones SV para clases de transacción genera un amplio conjunto de solicitudes y respuestas normales y de error
- Los rastreadores de protocolo multinivel (estado de caché, canal) hacen que la depuración sea más rápida
- La cobertura funcional rastrea comandos, direcciones y atributos
- Interfaces con verificadores de protocolo ARM para aislar errores DUT más rápido
- Ejemplos aleatorios completos dirigidos y restringidos de todos los tipos de transferencia