Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1109/MEMCOD.2011.5970524acmconferencesArticle/Chapter ViewAbstractPublication PagesmemocodeConference Proceedingsconference-collections
Article

Modeling of time in discrete-event simulation of systems-on-chip

Published: 01 July 2011 Publication History

Abstract

Today's consumer electronics industry uses modeling and simulation to cope with the complexity and time-to-market challenges of designing high-tech devices. In such context, Transaction-Level Modeling (TLM) is a widely spread modeling approach often used in conjunction with the IEEE standard SystemC discrete-event simulator. In this paper, we present a novel approach to modeling time that distinguishes between instantaneous actions and tasks with a duration. We argue that this distinction should be natural to the user. In addition, we show that it gives us important insight and better comprehension of what actions can overlap in time. We are able to exploit this distinction to parallelize the simulation, achieving an important speedup and exposing subtle software bugs related to parallelism. We propose a set of primitives and discuss the design decisions, expressiveness and semantics in depth. We present a research simulator called jTLM that implements all these ideas.

References

[1]
iPhone SDK, Apple, April 2010. [Online]. Available: http://developer.apple.com/iphone/
[2]
F. Ghenassia, Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems. Springer, 2006.
[3]
IEEE 1666-2005 Standard SystemC Language Reference Manual, IEEE Standards Association, 2006.
[4]
TLM-2.0.1 User Manual, Open SystemC Initiative, July 2009. [Online]. Available: http://www.systemc.org/downloads/standards/
[5]
C. Helmstetter, F. Maraninchi, and L. Maillet-Contoz, "Test coverage for loose timing annotations," in FMICS/ PDMC, 2006, pp. 100-115.
[6]
J. Cornet, F. Maraninchi, and L. Maillet-Contoz, "A method for the efficient development of timed and untimed transaction-level models of systems-on-chip," in DATE, March 2008, pp. 9-14.
[7]
G. Funchal and M. Moy, "jTLM: an experimentation framework for the simulation of transaction-level models of systems-on-chip," in DATE, 2011. [Online]. Available: http://www-verimag.imag.fr/details.html?pub id=FunchalDATE2011
[8]
Simvision, Cadence, November 2010. [Online]. Available: http://www.cadence.com/products/fv/enterprise_simulator/pages/default.aspx
[9]
Y. Bouzouzou, "Accélération des simulations de systèmes-sur-puce au niveau transactionnel," Diplôme de Recherche Technologique, Université Joseph Fourier, 2007.
[10]
Schumacher, C., Leupers, R., Petras, D. and A. Hoffmann, "parSC: Synchronous Parallel SystemC Simulation on Multi-Core Host Architectures," in International Conference on Hardware/Software Codesign and System Synthesis, Oct 2010.
[11]
S. V. Adve and K. Gharachorloo, "Shared memory consistency models: A tutorial," IEEE Computer, vol. 29, pp. 66-76, 1995.
[12]
S. Microsystems, JSR 133: Java Memory Model and Thread Specification, 2004.
[13]
D. Bailey, P. Borwein, and S. Plouffe, "On the rapid computation of various polylogarithmic constants," Mathematics of Computation, vol. 66, no. 218, pp. 903-913, 1997.
[14]
R. Dömer, A. Gerstlauer, and D. Gajski, SpecC Language Reference Manual 2.0, 2002. [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.7028.

Cited By

View all
  • (2014)Formal property verification in a conformance testing frameworkProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961854(155-164)Online publication date: 1-Oct-2014

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MEMOCODE '11: Proceedings of the Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
July 2011
204 pages
ISBN:9781457701184

Sponsors

Publisher

IEEE Computer Society

United States

Publication History

Published: 01 July 2011

Check for updates

Qualifiers

  • Article

Acceptance Rates

Overall Acceptance Rate 34 of 82 submissions, 41%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 23 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2014)Formal property verification in a conformance testing frameworkProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961854(155-164)Online publication date: 1-Oct-2014

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media