Supporte les BFM principaux, esclaves et interconnectés, y compris un moniteur d'interconnexion passif. La classe de transactions prend en charge les ensembles de contraintes SV pour l'entrelacement, le désordre, la phase d'écriture anticipée des données, les délais entre les transactions et entre les battements, la taille/la longueur, l'adressage. Les autres fonctionnalités incluent :
- Le moniteur d'interconnexion ACE vérifie les transitions d'état du cache. L'ACE prend en charge le cache N-way et le cache entièrement associatif
- Injectez des erreurs à toutes les couches à l'aide de rappels et contrôlez la réponse de complétion de l'esclave
- Le jeu de contraintes SV pour les classes de transactions génère un ensemble complet de demandes et de réponses normales et d'erreurs
- Les outils de suivi des protocoles à plusieurs niveaux (état du cache, canal) accélèrent le débogage
- La couverture fonctionnelle permet de suivre les commandes, les adresses et les attributs
- Interfaces avec les vérificateurs du protocole ARM pour isoler plus rapidement les bogues DUT
- Exemples aléatoires complets, dirigés et limités de tous les types de transferts