Suportă BFM master, slave și Interconnect, inclusiv monitor de interconectare pasivă. Clasa de tranzacții acceptă seturi de constrângeri SV pentru intercalare, defectare, fază de scriere timpurie a datelor, întârzieri între tranzacții și inter-ritmuri, dimensiune/lungime, adresare. Alte caracteristici includ:
- Monitorul de interconectare ACE verifică tranzițiile de stare cache ACE acceptă cache-ul N și cache complet asociativ
- Injectați erori la toate straturile utilizând apeluri înapoi și controlați răspunsul de completare slave
- Setul de constrângeri SV pentru clasele de tranzacții generează un set bogat de solicitări și răspunsuri normale și de eroare
- Trackerele de protocol pe mai multe niveluri (starea cache, canal) fac depanarea mai rapidă
- Acoperirea funcțională urmărește comenzile, adresele și atributele
- Interfețe cu verificatoarele de protocol ARM pentru a izola mai rapid erorile DUT
- Exemple aleatorii cuprinzătoare direcționate și constrânse ale tuturor tipurilor de transfer