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

fYear

1996

fDate

2-5 Sep 1996

Firstpage

104

Lastpage

110

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;

fLanguage

English

Publisher

ieee

Conference_Titel

EUROMICRO 96. Beyond 2000: Hardware and Software Design Strategies., Proceedings of the 22nd EUROMICRO Conference

Conference_Location

Prague

ISSN

1089-6503

Print_ISBN

0-8186-7487-3

Type

conf

DOI

10.1109/EURMIC.1996.546371

Filename

546371