Debugging SystemC Platform Models

Abstract

In the Electronic System Level (ESL) environment, a key factor is the early integration of verification into the design flow. Higher levels of abstraction must not be appealing just for their fast simulation speeds, but also for their flexibility and capabilities when debug and analysis come into play. This creates a demand for new functionalities related to verification in TLM platform models and/or simulation environments. In this chapter, We discuss a mechanism that relies on computational reflection to enable designers to interact with the platform simulation on the fly. This allows them to monitor and change signals or IP internal register values at runtime, so as to explore in high level of details what is happening within each platform module.

References

  1. 1.
    B.C. Albertini, S. Rigo, G. Araujo, C. Araujo, E. Barros, W. Azevedo, A computational reflection mechanism to support platform debugging in systemC, in Proceedings of the International Conference on Hardware–Software Codesign and System Synthesis (CODES+ISSS) (2007), pp. 81–86 Google Scholar
  2. 2.
    B. Bailey, G. Martin, A. Piziali, ESL Design and Verification: A Prescription for Electronic System Level Methodology (Morgan Kaufmann, San Mateo, 2007) Google Scholar
  3. 3.
    D. Déharbe, S. Medeiros, Aspect-oriented design in SystemC: implementation and applications, in SBCCI ’06: Proceedings of the 19th Annual Symposium on Integrated Circuits and Systems Design (ACM Press, New York, 2006), pp. 119–124 Google Scholar
  4. 4.
    J. Ferber, Computational reflection in class based object-oriented languages, in OOPSLA ’89: Conference Proceedings on Object-Oriented Programming Systems, Languages and Applications (ACM Press, New York, 1989), pp. 317–326 Google Scholar
  5. 5.
    F. Ghenassia, Transaction-level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems (Springer, New York, 2006) Google Scholar
  6. 6.
    S. Roiser, P. Mato, The SEAL C++ Reflection System, in CHEP ’04: Computing in High Energy and Nuclear Physics Congress, Interlaken, Switzerland, September 2004 (CERN, Geneva, 2004) Google Scholar
  7. 7.
    Root Project (2009). http://root.cern.ch
  8. 8.
    SPIRIT Consortium (2007). http://www.spiritconsortium.org

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Computer Systems Laboratory, Institute of ComputingUniversity of CampinasCampinasBrazil

Personalised recommendations