Transformational Design of Digital Systems based on Graph Rewriting

Corrie Huijs

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Downloads (Pure)

    Abstract

    For high-level synthesis transformational design is a promising design methodology which combines correctness by construction and interactive design. In this design methodology the design steps are behaviour preserving transformations of one design representation into another. Because of the importance of visualisation of design-information several kinds of graphs are used as design representations. Transformational design based on graph representation is closely related to rewriting of (sub)graphs. In this paper the formal aspects of transformational design are related to graph rewriting theory. It is shown how a formal framework for transformational design can benefit from graph rewriting theory. Especially preconditions for the application of transformation rules can be based on generally formulated preconditions from graph rewriting theory. Moreover a general graph concept unifies graph representations and a formal framework for transformational design based on this general graphs and their rewriting unifies several transformational design approaches based on different graph representations
    Original languageEnglish
    Title of host publicationProRISC/IEEE Workshop on Circuits, Systems and Signal Processing '96
    Place of PublicationUtrecht
    PublisherSTW
    Pages177-188
    ISBN (Print)90-73461-09X
    Publication statusPublished - 12 Feb 1996
    Event8th ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing, CSSP 1997 - Mierlo, Netherlands
    Duration: 27 Nov 199728 Nov 1997
    Conference number: 8

    Conference

    Conference8th ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing, CSSP 1997
    Abbreviated titleCSSP
    CountryNetherlands
    CityMierlo
    Period27/11/9728/11/97

    Keywords

    • METIS-119452

    Fingerprint Dive into the research topics of 'Transformational Design of Digital Systems based on Graph Rewriting'. Together they form a unique fingerprint.

    Cite this