Title :
Automating system construction by domain based approaches
Author :
Agsteiner, Karlheinz ; Monjau, Dieter ; Schulze, Sören
Author_Institution :
Chemnitz Univ. of Technol., Germany
Abstract :
Digital systems can be specified conveniently at the system level by a set of requirements the target system should meet. The problem about this kind of specification is that there is no algorithmic way to gain an efficient system architecture fulfilling these requirements in the general case. This paper deals with the question of if restricting the design task to a single domain of systems, e.g. all RISC processors, instead of covering all digital systems can aid in solving this problem. We present an object-oriented approach for the description of a whole domain of digital systems and demonstrate how an abstract system specification can be transformed into a description of the target system in VHDL. Based on this approach we discuss the factors that influence the existence and complexity of an algorithm to derive an efficient implementation from an abstract system specification.
Keywords :
formal specification; hardware description languages; high level synthesis; RISC processors; VHDL; abstract system specification; digital systems; domain based approaches; object-oriented approach; requirements; specification; system construction; target system; Chemical technology; Computer architecture; Concrete; Digital systems; Formal verification; Object oriented modeling; Process design; Reduced instruction set computing; System-level design; Virtual prototyping;
Conference_Titel :
EUROMICRO 97. New Frontiers of Information Technology., Proceedings of the 23rd EUROMICRO Conference
Conference_Location :
Budapest, Hungary
Print_ISBN :
0-8186-8129-2
DOI :
10.1109/EURMIC.1997.617307