Design correctness of digital systems

C. Huijs

doi:10.1109/EURMIC.1998.711770

Design correctness of digital systems

C. Huijs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

121 Downloads (Pure)

Abstract

Transformational design is a formal technique directed at design correctness. It integrates design and verification by the use of pre-proven behaviour preserving transformations as design steps. A formal framework is necessary but hidden for the designer. Five formal aspects are integrated in the presented formal framework that is aimed at the design of complex systems composed out of different kinds of subsystems. The tagged signal model is used as `meta' model for a heterogeneous set of computational models with different concurrency semantics. The offered possibilities of model refinement by transformations and the ability to incorporate heterogeneity are valuable extensions with respect to other transformational design approaches for high-level synthesis

Original language	Undefined
Title of host publication	24th EUROMICRO Conference
Subtitle of host publication	Proceedings
Place of Publication	Piscataway, NJ
Publisher	IEEE
Pages	30-33
ISBN (Print)	0-8186-8646-4
DOIs	https://doi.org/10.1109/EURMIC.1998.711770
Publication status	Published - 1998
Event	24th Euromicro Conference 1998 - Västerås, Sweden Duration: 25 Aug 1998 → 27 Aug 1998 Conference number: 24

Conference

Conference	24th Euromicro Conference 1998
Country/Territory	Sweden
City	Västerås
Period	25/08/98 → 27/08/98

Access to Document

10.1109/EURMIC.1998.711770

Huijs1998designFinal published version, 435 KB

Cite this

@inproceedings{a0083af4ffa54a00b99f54027b5cc1ad,

title = "Design correctness of digital systems",

abstract = "Transformational design is a formal technique directed at design correctness. It integrates design and verification by the use of pre-proven behaviour preserving transformations as design steps. A formal framework is necessary but hidden for the designer. Five formal aspects are integrated in the presented formal framework that is aimed at the design of complex systems composed out of different kinds of subsystems. The tagged signal model is used as `meta' model for a heterogeneous set of computational models with different concurrency semantics. The offered possibilities of model refinement by transformations and the ability to incorporate heterogeneity are valuable extensions with respect to other transformational design approaches for high-level synthesis",

author = "C. Huijs",

year = "1998",

doi = "10.1109/EURMIC.1998.711770",

language = "Undefined",

isbn = "0-8186-8646-4",

pages = "30--33",

booktitle = "24th EUROMICRO Conference",

publisher = "IEEE",

address = "United States",

note = "24th Euromicro Conference 1998 ; Conference date: 25-08-1998 Through 27-08-1998",

}

TY - GEN

T1 - Design correctness of digital systems

AU - Huijs, C.

N1 - Conference code: 24

PY - 1998

Y1 - 1998

N2 - Transformational design is a formal technique directed at design correctness. It integrates design and verification by the use of pre-proven behaviour preserving transformations as design steps. A formal framework is necessary but hidden for the designer. Five formal aspects are integrated in the presented formal framework that is aimed at the design of complex systems composed out of different kinds of subsystems. The tagged signal model is used as `meta' model for a heterogeneous set of computational models with different concurrency semantics. The offered possibilities of model refinement by transformations and the ability to incorporate heterogeneity are valuable extensions with respect to other transformational design approaches for high-level synthesis

AB - Transformational design is a formal technique directed at design correctness. It integrates design and verification by the use of pre-proven behaviour preserving transformations as design steps. A formal framework is necessary but hidden for the designer. Five formal aspects are integrated in the presented formal framework that is aimed at the design of complex systems composed out of different kinds of subsystems. The tagged signal model is used as `meta' model for a heterogeneous set of computational models with different concurrency semantics. The offered possibilities of model refinement by transformations and the ability to incorporate heterogeneity are valuable extensions with respect to other transformational design approaches for high-level synthesis

U2 - 10.1109/EURMIC.1998.711770

DO - 10.1109/EURMIC.1998.711770

M3 - Conference contribution

SN - 0-8186-8646-4

SP - 30

EP - 33

BT - 24th EUROMICRO Conference

PB - IEEE

CY - Piscataway, NJ

T2 - 24th Euromicro Conference 1998

Y2 - 25 August 1998 through 27 August 1998

ER -