An algebraic approach for codesign

Marc Aiguier, Stefan Béroff, Pierre Yves Schobbens

Research output: Contribution to journalConference article

Abstract

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.

Original languageEnglish
Pages (from-to)415-430
Number of pages16
JournalLecture Notes in Computer Science
Volume3407
Publication statusPublished - 19 Sep 2005
EventFirst International Colloquium on Theoretical Aspects of Computing - ICTAC 2004 - Guiyang, China
Duration: 20 Sep 200424 Sep 2004

Fingerprint

Co-design
Computer hardware description languages
Algebraic Approach
Specifications
Hardware
Proof of correctness
Partitioning
Specification
Partial
Software

Cite this

Aiguier, Marc ; Béroff, Stefan ; Schobbens, Pierre Yves. / An algebraic approach for codesign. In: Lecture Notes in Computer Science. 2005 ; Vol. 3407. pp. 415-430.
@article{b7533126fdc54f76a94c9444631280a3,
title = "An algebraic approach for codesign",
abstract = "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.",
author = "Marc Aiguier and Stefan B{\'e}roff and Schobbens, {Pierre Yves}",
year = "2005",
month = "9",
day = "19",
language = "English",
volume = "3407",
pages = "415--430",
journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
issn = "0302-9743",
publisher = "Springer Verlag",

}

Aiguier, M, Béroff, S & Schobbens, PY 2005, 'An algebraic approach for codesign', Lecture Notes in Computer Science, vol. 3407, pp. 415-430.

An algebraic approach for codesign. / Aiguier, Marc; Béroff, Stefan; Schobbens, Pierre Yves.

In: Lecture Notes in Computer Science, Vol. 3407, 19.09.2005, p. 415-430.

Research output: Contribution to journalConference article

TY - JOUR

T1 - An algebraic approach for codesign

AU - Aiguier, Marc

AU - Béroff, Stefan

AU - Schobbens, Pierre Yves

PY - 2005/9/19

Y1 - 2005/9/19

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=24644490767&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:24644490767

VL - 3407

SP - 415

EP - 430

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SN - 0302-9743

ER -