01 - De la spécification formelle au partitionnement matériel logiciel

Show full item record

Files in this item

PDF 001.PDF TEXTE.pdf 1.490Mb

Pour citer ce document :
URI: http://hdl.handle.net/2042/2025
Title: 01 - De la spécification formelle au partitionnement matériel logiciel
Author: ISRAEL (M.); DUPONT (D.)
Abstract: La recherche en CAO de systèmes électroniques ainsi que l'industrie de la CAO ont eu beaucoup de succès et se sont développées, conjointement avec les progrès technologiques. Aujourd'hui, la complexité des systèmes à concevoir est devenue telle que les problèmes deviennent impossibles à gérer humainement aux niveaux bas. C'est pourquoi l'industrie et le monde académique se sont attachés à développer des outils aux niveaux les plus élevés de la conception. Ainsi, la synthèse de haut niveau devient une étape obligatoire dans la méthodologie de conception des systèmes électroniques et la co-spécification de systèmes matériel/logiciels devient un domaine de recherche ouvert.
Description: Research on CAD for electronic systems and the CAD industry have seen significant developments, whit technological advances . This paper adresses hardware/software codesign from formal specification to hardware/software partitionning and introduces the reader to various aspects of codesign to help the reader develop a perpective on modern digital system design .
Subject: Spécification formelle; Conception assistée; Structure électronique; Conception; Outil logiciel; Système numérique; Implémentation; Signal numérique; Système réparti; Système embarqué; Partitionnement logiciel; Partitionnement matériel
Publisher: GRETSI, Saint Martin d'Hères, France
Date: 1997

This item appears in the following Collection(s)

Show full item record





Advanced Search