Abstract
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 language | English |
|---|---|
| Title of host publication | Proceedings of the third workshop computersystems : research forum on design, realization and use of computersystems |
| Editors | W.J. Withagen |
| Place of Publication | Eindhoven |
| Publisher | Eindhoven University of Technology |
| Pages | 1-16 |
| Number of pages | 16 |
| ISBN (Print) | 90-6144-995-2 |
| Publication status | Published - 1991 |
Fingerprint
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
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver