Basten, T., Van Benthum, E., Geilen, M., Hendriks, M., Houben, F., Igna, G., Reckers, F., De Smet, S., Somers, L., Teeselink, E., Trcka, N., Vaandrager, F., Verriet, J., Voorhoeve, M. and Yang, Y. (2010) Model Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. Proceedings of the 4th International Conference on Leveraging Applications of Formal Methods, Verification, and Validation, Ser. ISoLA’10, Springer-Verlag, Berlin, Heidelberg, 90-105.
http://dl.acm.org/citation.cfm?id=1939281.1939293

has been cited by the following article:

• TITLE: Multiple Levels of Abstraction in the Simulation of Microthreaded Many-Core Architectures

  AUTHORS: Irfan Uddin

  KEYWORDS: High-Level Simulations, Multiple Levels of Abstraction, Design Space Exploration, Many-Core Systems

  JOURNAL NAME: Open Journal of Modelling and Simulation, Vol.3 No.4, October 22, 2015

  ABSTRACT: Simulators are generally used during the design of computer architectures. Typically, different simulators with different levels of complexity, speed and accuracy are used. However, for early design space exploration, simulators with less complexity, high simulation speed and reasonable accuracy are desired. It is also required that these simulators have a short development time and that changes in the design require less effort in the implementation in order to perform experiments and see the effects of changes in the design. These simulators are termed high-level simulators in the context of computer architecture. In this paper, we present multiple levels of abstractions in a high-level simulation of a general-purpose many-core system, where the objective of every level is to improve the accuracy in simulation without significantly affecting the complexity and simulation speed.