Separation of concerns: Overhead in modeling and efficient simulation techniques

EMSOFT 2004 - Fourth ACM International Conference on Embedded Software

Volumn , Issue , 2004, Pages 44-53

  Yang, Guang ^a   Sangiovanni Vincentelli, Alberto ^a   Watanabe, Yosinori ^b   Balarin, Felice ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b CADENCE DESIGN SYSTEMS   (United States)

Author keywords

Interleaving Concurrency; Orthogonalization of Conerns; Platform based Design; Simulation

Indexed keywords

ALGORITHMS; COMPUTATION THEORY;

ABSTRACTION; INTERLEAVING CONCURRENCY; PLATFORM-BASED DESIGN;

EMBEDDED SYSTEMS;

EID: 27644586038     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. P. Alexander and C. Kong. Rosetta: semantic support for model-centered systems-level design. Computer, 34(11):64-70, November 2001.
2. F. Balarin, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, M. Sgroi, and Y. Watanabe. Modeling and designing heterogenous systems. In Jordi Cortadella, Alex Yakovlev, and Grzegorz Rozenberg, editors, Concurrency and Hardware Design, pages 228-273. Springer, 2002. LNCS2549.
3. Felice Balarin, Yosinori Watanabe, and et al. Metropolis: An integrated environment for electronic system design. IEEE Computer Society, April 2003.
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: specification language and methodology. Kluwer Academic Publishers, 2000.
6. T. Grotker, S. Liao, G. Martin, and S. Swan. System design with SystemC. Kluwer Academic Publishers, 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. th Design Automation Conference, June 2000.
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. A.D. Pimentel and C. Erbas. An IDF-based trace transformation method for communication refinement. In Proceedings of the 40th conference on Design automation conference, Anaheim, CA, USA, pages 402-407. ACM Press, June 2003.
12. A.D. Pimentel, L.O. Hertzbetger, P. Lieverse, P. van der Wolf, and E.E. Deprettere. Exploring embedded-systems architectures with Artemis. Computer, 34(11):57-63, November 2001.
13. I. Sander and A. Jantsch. System modeling and transformational design refinement 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.