Prise en charge des BFM maîtres, esclaves et interconnecteurs, y compris le moniteur d'interconnexion passif. La classe transaction prend en charge les ensembles de contraintes SV pour l'entrecroisement, la rupture de commande, la phase de données d'écriture précoce, les retards inter-transactions et inter-battements, la taille/longueur, l'adressage. Les autres fonctionnalités incluent :
- Le moniteur d'interconnexion ACE vérifie les transitions d'état du cache ACE prend en charge le cache N-way et entièrement associatif
- Injectez des erreurs à toutes les couches à l'aide de rappels et contrôlez la réponse d'achèvement esclave
- L'ensemble de contraintes SV pour les classes de transactions génère un riche ensemble de demandes et de réponses normales et d'erreurs
- Les trackers de protocole à plusieurs niveaux (état du cache, canal) accélèrent le débogage
- La couverture fonctionnelle suit les commandes, les adresses et les attributs
- Interfaces avec les vérificateurs de protocole ARM pour isoler les bogues DUT plus rapidement
- Exemples aléatoires complets dirigés et contraints de tous les types de transfert