Supporta BFM master, slave e di interconnessione incluso il monitor di interconnessione passivo. La classe di transazione supporta i set di vincoli SV per interlacciamento, fuori servizio, fase di scrittura anticipata dei dati, ritardi tra transazioni e battute, dimensione/lunghezza, indirizzamento. Altre caratteristiche includono:
- Il monitor di interconnessione ACE verifica le transizioni di stato della cache ACE supporta la cache N-way e completamente associativa
- Inserire errori a tutti i livelli utilizzando i callback e controllare la risposta di completamento dello slave
- Il set di vincoli SV per le classi di transazione genera un ricco set di richieste e risposte normali ed errate
- I tracker di protocollo a più livelli (stato della cache, canale) velocizzano il debug
- La copertura funzionale tiene traccia di comandi, indirizzi e attributi
- Interfacce con i controllori del protocollo ARM per isolare più rapidamente i bug DUT
- Esempi casuali diretti e vincolati completi di tutti i tipi di trasferimento