Efficient simulation of synthesis-oriented system level designs

Proceedings of the International Symposium on System Synthesis

Volumn , Issue , 2002, Pages 168-173

  Savoiu, Nick ^a   Shukla, Sandeep K ^a   Gupta, Rajesh K ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Simulation; System level design; SystemC

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; MATHEMATICAL MODELS;

SYSTEM LEVEL DESIGN; SYSTEM ORIENTED MODELS;

SYSTEMS ANALYSIS;

EID: 0036949726     PISSN: 10801820     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581233.581237     Document Type: Conference Paper

References (14)

1. CynApps Inc, http://www.cynapps.com
2. G. Economakos, P. Oikonomakos, I. Panagopoulos, "Behavioral Synthesis with SystemC", http://www.systemC.org
3. Edison Design Group, http://www.edg.com/cpp.html
4. P. Garg, S. Shukla, R. Gupta, "Efficient Usage of Concurrency Models in an Object Oriented Co-Design Framework", In Proceedings of DATE 2001.
5. M. Girkar, C.D. Polychronopoulos, "The Hierarchical Task Graph as a Universal Intermediate Representation", International Journal of Parallel Programming, vol. 22, no. 5, October 1994.
6. C. A. R. Hoare. "Communicating Sequential Processes", Prentice Hall, 1985.
7. D. Jackson, E. J. Rollins, "Chopping: A generalization of slicing", Technical Report CMU-CS-94-169, School of Computer Science, Carnegie Mellon University, 1994.
8. A.J. Mayer, L.J. Stockmeyer, "The complexity of word problems - this time with interleaving", Information and Computation, Vol 115, 1994.
9. OCAPI Website, http://www.imec.be/ocapi.
10. A. W. Roscoe, "The Theory and Practice of Concurrency", Prentice Hall, 1998.
11. Nick Savoiu, Sandeep Shukla, Rajesh Gupta, "Automated Concurrency Re-Assignment in High Level System Models for Efficient System Level Simulation", In Proceedings of DATE 2002.
12. D. C. Schmidt, T. Suda, "The performance of alternative threading architectures for parallel communication subsystems", Journal of Parallel and Distributed Computing, submitted 1996.
13. M. Sgroi, L. Lavagno, Y. Watanabe, A. Sangiovanni-Vincentelli, "Quasi-static scheduling of embedded software using equal conflict nets", International Conference on Application and Theory of Petri Nets. ICATPN '99, June 1999.
14. SystemC 2.0, http://www.systemc.org