Design correctness of digital systems

C. Huijs

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

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

    Conference

    Conference24th Euromicro Conference 1998
    CountrySweden
    CityVästerås
    Period25/08/9827/08/98

    Cite this