Separation of concerns: overhead in modeling and efficient simulation techniques

ABSTRACT

Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as well as in re-usability of the design. However, exploiting fully the re-usability opportunities offered by this approach implies to keep the various aspects of the design separated while verifying the design at a given level of abstraction. In particular, simulation of the design may undergo significant overhead versus a traditional approach where the design is represented and analyzed monolithically. In this paper, we present a few techniques that eliminate almost entirely the overhead while maintaining the positive aspects of the separation of concerns. Experimental results on a complex design back this assertion.

REFERENCES

• 1: Perry Alexander , Cindy Kong, Rosetta: Semantic Support for Model-Centered Systems-Level Design, Computer, v.34 n.11, p.64-70, November 2001 [doi>10.1109/2.963446]
• 2: Felice Balarin , Luciano Lavagno , Claudio Passerone , Alberto L. Sangiovanni-Vincentelli , Marco Sgroi , Yosinori Watanabe, Modeling and Designing Heterogeneous Systems, Concurrency and Hardware Design, Advances in Petri Nets, p.228-273, January 2002
• 3: Felice Balarin , Yosinori Watanabe , Harry Hsieh , Luciano Lavagno , Claudio Passerone , Alberto Sangiovanni-Vincentelli, Metropolis: An Integrated Electronic System Design Environment, Computer, v.36 n.4, p.45-52, April 2003 [doi>10.1109/MC.2003.1193228]
• 4: J. Buck, S. Ha, E.A. Lee, and D.G. Masserschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, special issue on Simulation Software Development, January 1990.
• 5: D.D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao. SpecC: specication language and methodology. Kluwer Academic Publishers, 2000.
• 6: Thorsten Grotker, System Design with SystemC, Kluwer Academic Publishers, Norwell, MA, 2002
• 7: G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress 74, pages 471--475. North-Holland, 1974.
• 8: K. Keutzer, A.R. Newton, J.M. Rabaey, and A. Sangiovanni-Vincentelli. System-level design: orthogonalization of concerns and platform-based design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(12):1523--1543, December 2000.
• 9: E. A. de Kock , W. J. M. Smits , P. van der Wolf , J.-Y. Brunel , W. M. Kruijtzer , P. Lieverse , K. A. Vissers , G. Essink, YAPI: application modeling for signal processing systems, Proceedings of the 37th conference on Design automation, p.402-405, June 05-09, 2000, Los Angeles, California, United States [doi>10.1145/337292.337511]
• 10: P. Lieverse, P. van der Wolf, E.E. Deprettere, and K. Vissers. A methodology for architecture exploration of heterogeneous signal processing systems. In Proceedings of the IEEE Workshop on Signal Processing Systems, SiPS 99, pages 181--190.IEEE Press, 1999.
• 11: Andy D. Pimentel , Cagkan Erbas, An IDF-based trace transformation method for communication refinement, Proceedings of the 40th conference on Design automation, June 02-06, 2003, Anaheim, CA, USA [doi>10.1145/775832.775937]
• 12: Andy D. Pimentel , Louis O. Hertzberger , Paul Lieverse , Pieter van der Wolf , Ed F. Deprettere, Exploring Embedded-Systems Architectures with Artemis, Computer, v.34 n.11, p.57-63, November 2001 [doi>10.1109/2.963445]
• 13: I. Sander and A. Jantsch. System modeling and transformational design renement in ForSyDe. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 23(1):17--32, January 2004.
• 14: Sherry Solden. Architectural services modeling for performance in HW-SW co-design. In Proceedings of the Workshop on Synthesis And System Integration of Mixed Technologies SASIMI2001, Nara, Japan,October 18-19, 2001, pages 72--77, 2001.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Validation

General Terms:
Design, Performance, Verification

Keywords:
interleaving concurrency, orthogonalization of conerns, platform-based design, simulation