Title :
Automating system-level design: from specification to architecture
Author :
Agsteiner, Karlheinz ; Monjau, Dieter ; Schulze, Sören
Author_Institution :
Dept. of Comput. Sci., Univ. of Technol. Chemnitz-Zwickau, Germany
Abstract :
In this paper we present a new method to specify digital systems at the system level and to automatically transform a specification into a set of required system components from which in turn a complete system can be constructed using a knowledge-based configuration system. Our approach bases on an object-oriented domain model which captures all knowledge about a certain domain of systems. Throughout the paper we use the domain of RISC processors as an example. We show how the designer specifies systems based on a given domain model and how a specification is automatically mapped into a set of system functions
Keywords :
formal specification; knowledge based systems; object-oriented programming; reduced instruction set computing; systems analysis; RISC processors; digital systems specification; knowledge-based configuration system; object-oriented domain model; system components; system functions; system-level design automation; Chemical technology; Computer architecture; Computer science; Decoding; Design methodology; Knowledge representation; Object oriented modeling; Reduced instruction set computing; System-level design; Terminology;
Conference_Titel :
EUROMICRO 96. Beyond 2000: Hardware and Software Design Strategies., Proceedings of the 22nd EUROMICRO Conference
Conference_Location :
Prague
Print_ISBN :
0-8186-7487-3
DOI :
10.1109/EURMIC.1996.546371