Skip to main content
SpringerLink
Log in

Semantics and efficient simulation of accuracy-adaptive TLMs

  • Published:
Design Automation for Embedded Systems Aims and scope Submit manuscript

Abstract

In contrast to traditional fixed-accuracy transaction level models, the abstraction level of accuracy-adaptive models can be changed during simulation. This enables dynamic trade-off between simulation performance and accuracy. In this article we present a modeling style for systematic construction of accuracy-adaptive models. Additionally, we present the simulation semantics of those models in an abstract and rigorous manner which is independent of implementation language and simulation algorithm. This abstract formulation allows different sequential and parallel simulation schemes to be studied and compared. Based on the presented semantics, we present a high-performance parallel simulation scheme which offers considerable improvement over the performance of existing parallel simulation schemes.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Listing 1
Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Listing 2
Listing 3
Fig. 8
Fig. 9
Listing 4
Listing 5
Listing 6
Listing 7
Listing 8
Listing 9
Listing 10
Listing 11
Fig. 10
Fig. 11
Fig. 12
Listing 12
Listing 13
Fig. 13
Fig. 14
Fig. 15

Similar content being viewed by others

References

  1. Beltrame G, Sciuto D, Silvano C (2007) Multi-accuracy power and performance transactions-level modeling. IEEE Trans Comput-Aided Des Integr Circuits Syst. doi:10.1109/TCAD.2007.895790

  2. Breuer PT, Fernández LS, Kloos CD (1995) A simple denotational semantics, proof theory and a validation condition generator for unit-delay VHDL. Formal Methods Syst Des. doi:10.1007/BF01383872

  3. Chopard B, Combes P, Zory J (2006) A conservative approach to SystemC parallelization. In: Proceedings of the international conference on computational science (ICCS 2006)

    Google Scholar 

  4. Combes P, Caron E, Desprez F, Chopard B, Zory J (2008) Relaxing synchronization in a parallel SystemC kernel. In: Proceedings of the international symposium on parallel and distributed processing with applications (ISPA’08)

    Google Scholar 

  5. Doemer R, Gerstlauer A, Gajski D (2002) The SpecC language reference manual, version 2.0. SpecC Technology Open Consortium

  6. Fujimoto RM (1990) Parallel discrete event simulation. Commun ACM 33:30–53. doi:10.1145/84537.84545. http://doi.acm.org/10.1145/84537.84545

    Article  Google Scholar 

  7. Fujimoto RM (1999) Exploiting temporal uncertainty in parallel and distributed simulations. In: Proceedings of the thirteenth workshop on parallel and distributed simulation, PADS’99. IEEE Computer Society, Washington, pp 46–53. http://dl.acm.org/citation.cfm?id=301429.301457

    Google Scholar 

  8. Hines K, Borriello G (1997) Dynamic communication models in embedded system co-simulation. In: Proceedings of the 34th annual conference on design automation (DAC’97), pp 395–400

    Chapter  Google Scholar 

  9. Huang K, Bacivarov I, Hugelshofer F, Thiele L (2008) Scalably distributed SystemC simulation for embedded applications. In: Proceedings of the international symposium on industrial embedded systems (SIES’2008)

    Google Scholar 

  10. IEEE Computer Society (2006) Standard SystemC language reference manual. Standard 1666-2005

  11. Karner M, Armengaud E, Steger C, Weiss R (2010) Holistic simulation of flexray networks by using run-time model switching. In: Proceedings of the conference on design, automation and test in Europe, DATE’10. European design and automation association, 3001 Leuven, Belgium, pp 544–549. http://portal.acm.org/citation.cfm?id=1870926.1871054

    Google Scholar 

  12. Karner M, Steger C, Weiss R, Armengaud E (2009) Optimizing hw/sw co-simulation based on run-time model switching. In: Forum on specification design languages, 2009, FDL 2009, pp 1–6

    Google Scholar 

  13. Loper ML, Fujimoto RM (2004) Exploiting temporal uncertainty in process oriented distributed simulations. In: Proceedings of the 36th conference on winter simulation (WSC’04)

    Google Scholar 

  14. Mello A, Maia I, Greiner A, Pecheux F (2010) Parallel simulation of SystemC TLM 2.0 compliant MPSoC on SMP workstations. In: Proceedings of the conference on design, automation and test in Europe (DATE’10)

    Google Scholar 

  15. Misra J (1986) Distributed discrete-event simulation. Comput Surv. doi:10.1145/6462.6485

  16. MPI Forum (2012) MPI: a message-passing interface standard. http://www.mpi-forum.org/

  17. Open SystemC Initiative (OSCI) (2009) TLM working group (www.systemc.org): OSCI TLM-2.0 language reference manual and library

  18. Radetzki M, Salimi Khaligh R (2008) Accuracy-adaptive simulation of transaction level models. In: Proceedings of design, automation and test in Europe 2008 (DATE 08)

    Google Scholar 

  19. Rosenblum M, Herrod S, Witchel E, Gupta A (1995) Complete computer system simulation: the SimOS approach. IEEE Parallel Distrib Technol 3(4):34–43

    Article  Google Scholar 

  20. Salimi Khaligh R, Radetzki M (2008) A latency, preemption and data transfer accurate adaptive transaction level model for efficient simulation of pipelined buses. In: Proceedings of forum on specification and design languages (FDL’08), Stuttgart, Germany

    Google Scholar 

  21. Salimi Khaligh R, Radetzki M (2009) Adaptive interconnect models for transaction-level simulation. In: Languages for embedded systems and their applications (LNEE 36)

    Google Scholar 

  22. Salimi Khaligh R, Radetzki M (2009) Efficient parallel transaction level simulation by exploiting temporal decoupling. In: Proceedings of the international embedded systems symposium (IESS’09)

    Google Scholar 

  23. Salimi Khaligh R, Radetzki M (2010) A dynamic load balancing method for parallel simulation of accuracy adaptive TLMs. In: Proceedings of forum on specification and design languages (FDL’10)

    Google Scholar 

  24. Salimi Khaligh R, Radetzki M (2010) Modelling constructs and kernel for parallel simulation of accuracy adaptive TLMs. In: Proceedings of the conference on design, automation and test in Europe (DATE’10)

    Google Scholar 

  25. Salimi Khaligh R, Radetzki M (2011) A metamodel and semantics for transaction level modeling. In: Proceedings of forum on specification and design languages (FDL’11), Oldenburg, Germany

    Google Scholar 

  26. Schumacher C, Leupers R, Petras D, Hoffmann A (2010) PARSC: synchronous parallel SystemC simulation on multi-core host architectures. In: 2010 IEEE/ACM/IFIP international conference on hardware/software codesign and system synthesis (CODES+ISSS), pp 241–246

    Google Scholar 

  27. The Embedded Microprocessor Benchmark Consortium (EEMBC) (2012) Multicore benchmark software (multibench) 1.0. http://www.eembc.org

  28. Winskel G (1993) The formal semantics of programming languages: an introduction. MIT Press, Cambridge

    MATH  Google Scholar 

Download references

Acknowledgements

This work is funded by the German Research Foundation (Deutsche Forschungsgemeinschaft—DFG) under grant Ra 1889/1-1.

Author information

Authors and Affiliations

  1. Embedded Systems Engineering Group (ESE), Universität Stuttgart, Pfaffenwaldring 5b, 70569, Stuttgart, Germany

    Rauf Salimi Khaligh & Martin Radetzki

Authors
  1. Rauf Salimi Khaligh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Radetzki
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rauf Salimi Khaligh.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Salimi Khaligh, R., Radetzki, M. Semantics and efficient simulation of accuracy-adaptive TLMs. Des Autom Embed Syst 16, 1–29 (2012). https://doi.org/10.1007/s10617-012-9095-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10617-012-9095-9

Keywords

Search

Navigation