4. Synthèse et vérification
4.1 Synthèse
La synthèse couvre trois aspects principaux :
génération de l’architecture matérielle, notamment l’inférence des différents composants identifiés à l’issue du partitionnement logiciel/matériel (par exemple, les microprocesseurs, les mémoires ou les FPGA) et leur assemblage ;
génération de la partie logicielle qui consiste en diverses fonctions à implanter ;
inférence des interfaces adéquates entre les parties matérielle et logicielle.
En pratique, les composants matériels sont obtenus au travers de définitions dans des langages de description appropriés tels que VHDL ou Verilog, supportant des outils de synthèse architecturale. L’assemblage de ces composants est réalisé avec des outils de saisie de schémas d’interconnexions....
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Synthèse et vérification
Méthodologies de co-conception
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
