Introspection in system-level language frameworks: Meta-level vs. integrated

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2003, Pages 382-387

  Doucet, Frederic ^a   Shukla, Sandeep ^b   Gupta, Rajesh ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT COMPOSITION; DESIGN ANALYZERS; DESIGN AUTOMATIONS; DESIGN FRAMEWORKS; INTERFACE SYNTHESIS; SYSTEM LEVEL DESIGN; SYSTEM-LEVEL LANGUAGE; TYPING OF COMPONENTS;

AUTOMATION; COMPUTER ARCHITECTURE; EXHIBITIONS; TOOLS;

COMPUTER AIDED DESIGN;

EID: 84893715796     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2003.1253638     Document Type: Conference Paper

References (16)

1. R. A. Bergamaschi, S. Bhattacharya, R.Wagner, C. Fellenz, M. Muhlada, F. White, W. R. Lee, and J.-M. Daveau. Automating the design of SoCs using cores. IEEE Design and Test of Computers, September-October 2001.
2. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern Oriented Software Architecture: A System of Patterns. JohnWiley and Sons, 1996.
3. W. Cesario, A. Baghdadi, L. Gauthier, D. Lyonnard, G. Nicolescu,Y. Paviot, S. Yoo, A. A. Jerraya, andM. Diaz- Nava. Component-based design approach for multicore socs. In Proc. IEEE/ACM Design Automation Conf., 2002.
4. W. Cesario, G. Nicolescu, L. Gauthier, D. Lyonnard, and A. Jerraya. Colif: A Design Representation for Application- Specific Multiprocessor SOCs. IEEE Design and Test of Computers, September-October 2001.
5. T.-R. Chuang, Y. S. Kuo, and C.-M. Wang. Non-intrusive object introspection in C++: Architecture and application. In Proc. Int. Conf on Software Engineering, 1998.
6. E. Clark, O. Grumburg, andD. Peled. Model Checking. MIT Press, 1999.
7. CORBA website http://www.corba.org.
8. Design and Reuse. IP Repository. Home page: http://www.design-reuse.com.
9. F. Doucet, R. Gupta, M. Otsuka, P. Schaumont, and S. Shukla. Interoperability as a Design Issue in C++ Based Modeling Environments. In Proc. Int. Symposium on System Synthesis, 2001.
10. F. Doucet, S. Shukla, R. Gupta, and M. Otsuka. An environment for dynamic component composition for efficient co-design. In Proc. Design Automation and Test in Europe Conf., 2002.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
12. R. K. Gupta and S. Y. Liao. Using a Programming Language for Digital System Design. IEEE Design and Test of Computers,April-June 1997.
13. J. Hopkins. Component Primer. Commun. ACM, Oct. 2000.
14. E. A. Lee and S. Neuendorffer. MoML - A Modeling Markup Language in XML. Technical Report UCB/ERL M00/12, Univ. of California at Berkeley, March 2000.
15. OSCI. SystemC. Home page: http://www.systemc.org.
16. SystemC verification working group. Systemc verification standard specification. Available on the SystemC website, Nov. 2002.