Diese Seite auf deutsch
SearchNew Hardware Design Methods (ESPRIT Working Group 8533 NADA)
(inactive)
| Start date: | 01.04.1998 |
| End date: | 31.12.1998 |
| Duration: | 01.04.1998 - 31.12.1998 |
| Funded by: | |
| Local project leader: | Prof. Dr. Bernhard Möller (project leader) |
| External scientists / cooperations: |
Prof. Dr. Aron V. Holden (University of Leeds) Prof. Dr. Jan A. Bergstra (Universiteit van Amsterdam) Prof. Dr. F. Keith Hanna (University of Kent) Prof. Dr. Walter Dosch (Universität zu Lübeck Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid) Prof. Dr. H. Schwichtenberg (LMU München) |
| Publications: | Publication list |
Abstract
The project performed research on new, mathematically sound methods for the description and design of hardware systems. The term "hardware systems" was interpreted very generally to include architectures and circuits and also the hardware/software interface. Another goal was a draft definition of a next generation hardware description language (NGHDL) with a high level of abstraction and a clean and formally defined semantics.
Description aspects included general questions of timing, parameterisation and modularisation. The design techniques included verification, deductive design in the small and structured design in the large. The goal of the research on modelling was to elicit requirements on design methodologies and description languages. The project studied architectures, circuits, and emerging new paradigms for hardware systems, as well as various standard technologies, and led to unified mathematical models of hardware. Appropriate mathematical methods came from computation theory, higher order algebra, proof theory and timed process algebra. The developed techniques were demonstrated in representative case studies.
Description aspects included general questions of timing, parameterisation and modularisation. The design techniques included verification, deductive design in the small and structured design in the large. The goal of the research on modelling was to elicit requirements on design methodologies and description languages. The project studied architectures, circuits, and emerging new paradigms for hardware systems, as well as various standard technologies, and led to unified mathematical models of hardware. Appropriate mathematical methods came from computation theory, higher order algebra, proof theory and timed process algebra. The developed techniques were demonstrated in representative case studies.
Description
The project documentation is published in:
B. Möller, J.V. Tucker (eds.): Prospects for hardware foundations. Lecture Notes in Computer Science 1546. Berlin: Springer 1998
B. Möller, J.V. Tucker (eds.): Prospects for hardware foundations. Lecture Notes in Computer Science 1546. Berlin: Springer 1998