An algebraic approach for codesign

Marc Aiguier, Stefan Béroff, Pierre Yves Schobbens

Résultats de recherche: Contribution à un journal/une revue???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???Revue par des pairs

Résumé

This paper gives an answer to Cospecification. Our contribution to cospecification is twofold: allowing both to abstractly specify systems without a priori on partitioning step, and achieve a posteriori partial correctness proofs of C programs (software parts) and VHDL programs (hardware parts) with respect to specifications.

langue originaleAnglais
Pages (de - à)415-430
Nombre de pages16
journalLecture Notes in Computer Science
Volume3407
Etat de la publicationPublié - 19 sept. 2005
EvénementFirst International Colloquium on Theoretical Aspects of Computing - ICTAC 2004 - Guiyang, Chine
Durée: 20 sept. 200424 sept. 2004

Empreinte digitale Examiner les sujets de recherche de « An algebraic approach for codesign ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation