Précédent : Conception de systèmes matériel-logiciel Remonter : Méthodes d'implémentation et études d'architectures Suivant : Actions industrielles
Précédent : Conception de systèmes matériel-logiciel
Remonter : Méthodes d'implémentation et études
d'architectures Suivant : Actions industrielles
Participants : Jean-Christophe Le Lann, Christophe Wolinski, Apostolos Kountouris, Michel Allemand, Paul Le Guernic, Patricia Bournai, André Seznec (Caps), François Bodin (Caps), François Charot (Api)
Une étude menée en partenariat avec Motorola (Austin) a pour
but l'exploration du modèle synchrone pour le prototypage rapide
et sûr de composants matériels. Ces travaux sont effectués en
collaboration avec les projets Inria Caps, Api et Meije. L'étude
s'appuie sur l'expérience des équipes dans le domaine de la
conception conjointe matériel-logiciel.
Le langage temps réel SIGNAL permettant de prouver
formellement la conservation de propriétés temporelles de
programmes dérivés d'une spécification initiale, nous cherchons à
montrer que l'utilisation d'un tel langage pour la description
comportementale permet une diminution du temps de cycle de
conception.
Nous définissons une méthodologie de modélisation et de validation. Parallèlement, nous nous penchons sur la génération de code Verilog au niveau transfert de registres à partir de SIGNAL.