Work Area: Hardware Design
Keywords hardware design, hardware description languages, formal methods, mathematical foundations
Start Date: to be announced / Status: starting
[ participants / contact ]
Abstract NADA performs research on new, mathematically sound methods for the description and design of hardware systems including architectures, circuits and the hardware/software interface. A major goal is a draft definition of a next-generation hardware description language that posseses a high level of abstraction and formally defined semantics. The description aspects include general questions of timing, parameterisation and modularisation. The design techniques include verification, deductive design in the small and structured design in the large. The research on modelling will lead to unified mathematical models of hardware. NADA will develop a mathematical foundation for hardware design based on algebra and logic. Design techniques will be demonstrated by case studies in collaboration with the industrial affiliate.
The objective of NADA is the study of hardware systems and corresponding methodologies for description and design. The areas of research include:
Besides cooperation in smaller subgroups on specific topics, there will be an annual central workshop bringing the threads of research together and allowing exchange with other workers in the field. Group members will also participate in workshops organised by other ESPRIT consortia.
Our research should be of direct use in the design of future generations of hardware. Research on description explicitly attempts to anticipate new trends in architectural design, eg neural networks and dynamical systems. The draft definition of a next-generation hardware description language will incorporate new hardware paradigms, approach industrial strength and be suitable for large-scale practical specification and design work. It will also be the basis for advanced software support tools that we believe will improve design productivity.
Further information about NADA is available from the NADA home page <URL:http://www.math.uni-augsburg.de/~moeller/nada.html>.
Universität Augsburg - D
Institut für Mathematik
D- 86159 AUGSBURG
Ludwig-Maximilians-Universität München - D
Technische Universität München - D
Universidad Politécnica de Madrid - E
Universiteit van Amsterdam - NL
University of Kent - UK
University of Leeds - UK
University College of Swansea - UK
Uppsala University - S
Siemens AG München - D
Prof. Dr. Bernhard Möller
NADA - 8533, August 1994
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook