Design correctness of digital systems

C. Huijs

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    39 Downloads (Pure)


    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 languageUndefined
    Title of host publication24th EUROMICRO Conference
    Subtitle of host publicationProceedings
    Place of PublicationPiscataway, NJ
    ISBN (Print)0-8186-8646-4
    Publication statusPublished - 1998
    Event24th Euromicro Conference 1998 - Västerås, Sweden
    Duration: 25 Aug 199827 Aug 1998
    Conference number: 24


    Conference24th Euromicro Conference 1998

    Cite this