New Hardware Design Methods


NADA - 8533

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.


Aims

The objective of NADA is the study of hardware systems and corresponding methodologies for description and design. The areas of research include:

Activities

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.

Potential

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>.


Coordinator

Universität Augsburg - D
Institut für Mathematik
Universitätsstr.8
D- 86159 AUGSBURG

Partners

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
Industrial Affiliate
Siemens AG München - D

CONTACT POINT

Prof. Dr. Bernhard Möller
tel +49/821-598-2164
fax +49/821-598-2200
e-mail: moeller@uni-augsb.de


LTR synopses home page LTR work area index LTR acronym index LTR number index LTR Working Groups index
All synopses home page all acronyms index all numbers index

NADA - 8533, August 1994


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook