Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Cette soumission présente une méthodologie de conception de matériel basée sur la spécification et le raffinement d'une description DAHA (Diagrammes d'Actions Hiérarchiques Annotés). La méthode de spécification DAHA encourage l'élaboration concurrente des aspects fonctionnels et d'interface d'un module matériel, tout en les gardant séparés. Chaque module matériel est d'abord spécifié de manière abstraite à un niveau où les opérations atomiques sont les transactions naturelles de l'application. Les modules sont ensuite raffinés à un deuxième niveau où les opérations atomiques sont à présent des transactions de mots élémentaires. Finalement, le troisième et dernier niveau de raffinement est défini de manière à …
