A Hybrid Approach for System-Level Design Evaluation

  • Alexander Viehl
  • Markus Schwarz
  • Oliver Bringmann
  • Wolfgang Rosenstiel
Part of the IFIP – The International Federation for Information Processing book series (IFIPAICT, volume 231)


Execution Time Hybrid Approach Power Management Viterbi Decoder Dynamic Power Management 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    Todd Austin, Eric Larson, and Dan Ernst. Simplescalar: An infrastructure for computer system modeling. IEEE Computer, 35(2):59-67, 2002.Google Scholar
  2. [2]
    Luca Benini, Alessandro Bogliolo, and Giovanni De Micheli. A survey of design techniques for system-level dynamic power management. pages 231-248, 2002.Google Scholar
  3. [3]
    Luca Benini, Robin Hodgson, and Polly Siegel. System-level power estimation and optimization. In ISLPED ’98: Proceedings of the 1998 international symposium on Low power electronics and design, pages 173-178, New York, NY, USA, 1998. ACM Press.CrossRefGoogle Scholar
  4. [4]
    Jeremy Bryans, Howard Bowman, and John Derrick. Model checking stochastic automata. ACM Trans. Comput. Logic, 4(4):452-492, 2003.CrossRefMathSciNetGoogle Scholar
  5. [5]
    S. Chakraborty, S. Künzli, and L. Thiele. A General Framework for Analysing System Properties in Platform-Based Embedded System Designs. In Proceedings of DATE, Munich, 2003.Google Scholar
  6. [6]
    Adam Donlin. Transaction level modeling: flows and use models. In CODES+ISSS ’04, New York, NY, USA, 2004. ACM Press.Google Scholar
  7. [7]
    Matthias Krause, Oliver Bringmann, and Wolfgang Rosenstiel. Target Software Generation: An Approach for Automatic Mapping of SystemC Specifications onto Real-Time Operating Systems. Springer: Design Automation for Embedded Systems, 2007.Google Scholar
  8. [8]
    R. Marculescu and A. Nandi. Probabilistic application modeling for system-level performance analysis. In DATE ’01: Proceedings of the conference on Design, automation and test in Europe, pages 572-579, Piscataway, NJ, USA, 2001. IEEE Press.CrossRefGoogle Scholar
  9. [9]
    Marco Ajmone Marsan, Gianni Conte, and Gianfranco Balbo. A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst., 2(2):93-122, 1984.CrossRefGoogle Scholar
  10. [10]
    Wolfgang Müller, Wolfgang Rosenstiel, and Jürgen Ruf, editors. SystemC: methodologies and applications. Kluwer Academic Publishers, Norwell, MA, USA, 2003.MATHGoogle Scholar
  11. [11]
    Qinru Qiu, Qing Wu, and Massoud Pedram. Dynamic power management of complex systems using generalized stochastic petri nets. In DAC ’00: Proceedings of the 37 th conference on Design automation, pages 352-356, New York, NY, USA, 2000. ACM Press.CrossRefGoogle Scholar
  12. [12]
    Simon Schliecker, Matthias Ivers, and Rolf Ernst. Integrated Analysis of Communicating Tasks in MPSoCs. In CODES+ISSS ’06. ACM Press, 2006.Google Scholar
  13. [13]
    Axel Siebenborn, Oliver Bringmann, and Wolfgang Rosenstiel. Worst-case performance analysis of parallel, communicating software processes. In Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002.Google Scholar
  14. [14]
    Axel Siebenborn, Alexander Viehl, Oliver Bringmann, and Wolfgang Rosenstiel. Control-Flow Aware Communication and Conflict Analysis of Parallel Processes. In Proceedings of the 12th Asia and South Pacific Design Automation Conference ASP-DAC 2007, Yokohama, Japan, 2007.Google Scholar
  15. [15]
  16. [16]
    A. Yakovlev, L. Gomes, and L. Lavagno. Hardware Design and Petri Nets. Kluwer, 2000.Google Scholar

Copyright information

© International Federation for Information Processin 2007

Authors and Affiliations

  • Alexander Viehl
    • 1
  • Markus Schwarz
    • 2
  • Oliver Bringmann
    • 3
  • Wolfgang Rosenstiel
    • 4
  1. 1.FZI Forschungszentrum Informatik
  2. 2.FZI Forschungszentrum Informatik
  3. 3.FZI Forschungszentrum Informatik
  4. 4.Universität Tübingen

Personalised recommendations