CARH: Service-oriented architecture for validating system-level designs

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 25, Issue 8, 2006, Pages 1458-1474

  Patel, Hiren D ^b   Mathaikutty, Deepak A ^b   Berner, David ^c   Shukla, Sandeep K ^a,b  

^a IEEE

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

^c INRIA   (France)

Author keywords

Common object request broker architecture (CORBA); Embedded system design; Introspection; Middleware; Reflection; SystemC; Verification and validation

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; EMBEDDED SYSTEMS; MIDDLEWARE; REFLECTION; SYSTEMS ANALYSIS; XML;

COMMON OBJECT REQUEST BROKER ARCHITECTURE (CORBA); EMBEDDED SYSTEM DESIGN; INTEGRATED DEVELOPMENT ENVIRONMENTS (IDE); INTROSPECTION; SYSTEMC; VERIFICATION AND VALIDATION;

COMPUTER AIDED DESIGN;

EID: 33746656779     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2005.857315     Document Type: Article

References (30)

1. OSCI, SysttemC and SystemC Verification. [Online], Available: http://www.systemc.org
2. SPECC, SpecC. [Online]. Available: http://www.ics.uci.edu/specc/
3. SystemVerilog, System Verilog. [Online]. Available: http://www. systemverilog.org/
4. Novas, Debussy Debug System. [Online], Available: http://www.novas.com
5. CoWare, ConvergenSC. [Online]. Available: http://www.coware.com
6. Synopsys, Smart RTL Verification. [Online]. Available: http://www.synopsys.com
7. Cadence, Incisive Functional Verification. [Online]. Available: http://www.cadence.com
8. TAO, Real-Time CORBA With TAO (The ACE ORB). [Online], Available: http://www.cs.wustl.edu/schmidt/TAO.html
9. OMG, OMG CORBA. [Online]. Available: http://www.corba.org/
10. ACE, Adaptive Communication Environment. [Online], Available: http://www.cs.wustl.edu/schmidt/ACE.html
11. E. Group, Edison C++ Front-End. [Online]. Available: http://www.edg.com
12. VHDL, VHDL. [Online]. Available: http://www.vhdl.org/
13. OMG, OMG. [Online]. Available: http://www.omg.org/
14. Hamabe, SystemC Over CORBA. [Online], Available: http://www5a.biglobe.ne. jp/hamabe/index.html
15. D. Berner, H. Patel, D. Mathaikutty, S. Shukla, and J. Talpin, "System-CXML: An extensible SystemC front end using XML," Virginia Tech, Blacksburg, VA, Tech. Rep. 2005-06, 2005.
16. E. R. Gansner and S. C. North, "An open graph visualization system and its applications to software engineering," Softw. Pract. Exp., vol. 30, no. 11, pp. 1203-1233, Sep. 2000.
17. L. Charest, M. Reid, E. Aboulhamid, and G. Boi, "Introspection in system-level language frameworks: Meta-level vs. integrated," in Proc. Design Test Automation Eur., 2003, pp. 10382-10387.
18. W. Snyder, SystemPerl. [Online]. Available: http://www.veripool.com/ systemperl.html
19. F. Doucet, S. Shukla, and R. Gupta, "A methodology for interfacing open source SystemC with a third party software," in Proc. Design Test Automation Eur., 2001, p. 16.
20. GreenSocs, Pinapa: A SystemC Frontend. [Online]. Available: http://www.greensocs.com/
21. J. Lapalme, E. M. Aboulhamid, G. Nicolescu, L. Charest, F. R. Boyer, J. P. David, and G. Bois, ".NET framework - A solution for the next generation tools for system-level modeling and simulation," in Proc. Design Test Automation Eur., 2004, pp. 732-733.
22. Mono, Mono Project. [Online]. Available: http://www.mono-project.com/
23. Doxygen Team, Doxygen. [Online]. Available: http://www.stack.nl/dimitri/ doxygen/
24. A. Amur, P. Boulet, J. Dekeyser, S. Meftali, S. Niar, M. Samyn, and J. Vennin, SoC Simulation. [Online]. Available: http://www.inria.fr/ rapportsactivite/RA2003/dart2003/
25. L. Formaggio and G. P. F. Fummi, "A timing-accurate HW/SW cosimulation of an ISS with SystemC," in Proc. Int. Conf. Hardware/Software Codesign System Synthesis, 2004, pp. 152-157.
26. NS2, The Network Simulator-NS-2. [Online], Available: http://www.isi.edu/nsnam/ns/
27. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns. Reading, MA: Addison-Wesley, 1995.
28. The FERMAT Group, Formal Engineering Research With Models, Abstractions and Transformations. [Online]. Available: http://fermat.ece.vt.edu
29. D. A. Mathaikutty, D. Berner, H. D. Patel, and S. K. Shukla. (2004) FERMAT's SystemC Parser. [Online]. Available: http://systemcxml.sourceforge.net
30. Troll Tech, Qt. [Online]. Available: http://troll.no