• DocumentCode
    1590256
  • Title

    Automating system construction by domain based approaches

  • Author

    Agsteiner, Karlheinz ; Monjau, Dieter ; Schulze, Sören

  • Author_Institution
    Chemnitz Univ. of Technol., Germany
  • fYear
    1997
  • Firstpage
    336
  • Lastpage
    342
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    EUROMICRO 97. New Frontiers of Information Technology., Proceedings of the 23rd EUROMICRO Conference
  • Conference_Location
    Budapest, Hungary
  • ISSN
    1089-6503
  • Print_ISBN
    0-8186-8129-2
  • Type

    conf

  • DOI
    10.1109/EURMIC.1997.617307
  • Filename
    617307