Spécification d'architecture multi-composant

• Architecture multi-composant type macro-RTL
• Réseau de composants programmables (processeurs) et non programmables (ASIC, FPGA)
• Modèle d'hypergraphe non orienté
• Sommets : automate opérateur et automate transformateur
• Hyperarc : média de communication (transfert, mémoire, automate arbitre)
• Caractérisation d'architecture
• Graphe étiquetté pour la spécification d'architecture