• DocumentCode
    1820462
  • Title

    ADL-based specification of implementation styles for functional simulators

  • Author

    Penry, David A. ; Cahill, Kurtis D.

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Brigham Young Univ., Provo, UT, USA
  • fYear
    2011
  • fDate
    18-21 July 2011
  • Firstpage
    165
  • Lastpage
    173
  • Abstract
    Functional simulators find widespread use as sub-systems within microarchitectural simulators. The speed of functional simulators is strongly influenced by the implementation style of the functional simulator, e.g. interpreted vs. binary-translated simulation. Speed is also strongly influenced by the level of detail of the interface the functional simulator presents to the rest of the timing simulator. This level of detail may change during design space exploration, requiring corresponding changes to the interface and the simulator. However, for many implementation styles, changing the interface is difficult. As a result, architects may choose either implementation styles which are more malleable or interfaces with more detail than is necessary. In either case, simulation speed is traded for simulator design time. We show that this tradeoff is unnecessary if an orthogonal-specification design principle is practiced: specify how a simulator is to be implemented separately from what it is implementing and then synthesize a simulator from the combined specifications. We show that the use of an Architectural Description Language (ADL) with constructs for implementation style specification makes it possible to synthesize interfaces with different implementation styles with reasonable effort.
  • Keywords
    digital simulation; formal specification; ADL-based specification; architectural description language; binary-translated simulation; functional simulator; implementation style specification; interpreted simulation; microarchitectural simulator; orthogonal-specification design principle; Decoding; Generators; Microarchitecture; Organizations; Semantics; Space exploration; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Embedded Computer Systems (SAMOS), 2011 International Conference on
  • Conference_Location
    Samos
  • Print_ISBN
    978-1-4577-0802-2
  • Electronic_ISBN
    978-1-4577-0801-5
  • Type

    conf

  • DOI
    10.1109/SAMOS.2011.6045458
  • Filename
    6045458