DALIA : a language for the description and analysis of digital systems

H. Weij, van der

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


    DALIA is a formal language for the description and analysis of digital systems at a behavioural as well as a structural level of abstraction. It is based on a functional style of programming, extended with annotations for indicating system structure, accessability, and signal :flow direction. Program transformation rules are defined for rewriting DALIA descriptions to behaviourally equivalent alternatives. Since the same language is used for behavioural and structural descriptions, a smooth conversion between them can be made. The language is developed to be used as a formal basis for automated system design, adopting the following philosophy: First the (informal) requirements for the system to be designed are formalised in the DALIA notation. Next, the formal specification is stepwise transformed to a structural description of the system realisation (typically register transfer or gate level). The latter phase deals with formal descriptions and transformations, allowing a correctness by construction methodology.
    Original languageEnglish
    Title of host publicationProceedings of the third workshop computersystems : research forum on design, realization and use of computersystems
    EditorsW.J. Withagen
    Place of PublicationEindhoven
    PublisherEindhoven University of Technology
    ISBN (Print)90-6144-995-2
    Publication statusPublished - 1991


    Dive into the research topics of 'DALIA : a language for the description and analysis of digital systems'. Together they form a unique fingerprint.

    Cite this