BALBOA: A Component-Based Design Environment for System Models

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

Volumn 22, Issue 12, 2003, Pages 1597-1612

  Doucet, Frederic ^a,b   Shukla, Sandeep ^c   Otsuka, Masato ^d   Gupta, Rajesh ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c VIRGINIA STATE UNIVERSITY   (United States)

^d FUJITSU LABORATORIES LTD   (Japan)

Author keywords

Design reuse; Embedded systems; Hardware description language (HDL); Hardware software co design; Interface design; Modeling; Simulation; System on chip

Indexed keywords

COMPUTER RUNTIME ENVIRONMENTS; SYSTEM-ON-CHIP (SOC) DEVICES;

C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING; COMPUTER SIMULATION; EMBEDDED SYSTEMS; HEURISTIC METHODS; INFERENCE ENGINES; INTELLECTUAL PROPERTY; INTERFACES (COMPUTER); PROBLEM SOLVING;

COMPUTER AIDED LOGIC DESIGN;

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

References (51)

1. Semiconductor Industry Association, International Technology Roadmap for Semiconductors (2001). [Online], Available: http://public.itrs.net/.
2. R. K. Gupta and S. Y. Liao, "Using a programming language for digital system design," IEEE Design and Test of Comput., pp. 72-80, Apr.-June 1997.
3. S. Liao, S. Tjiang, and R. Gupta, "An efficient implementation of reactivity in modeling hardware in the scenic synthesis and simulation environment," in Proc. IEEE/ACM Design Automation Conf., 1997, pp. 70-75.
4. OSCI, SystemC [Online]. Available: http://www.systemc.org.
5. D. Gajski, J. Zhu, R. Domer, A. Gerstlauer, and S. Zhao, SpecC: Specification Language and Methodology. Norwell, MA: Kluwer, 2000.
6. P. Schaumont, S. Vernalde, L. Rijnders, M. Engels, and I. Bolsens, "A programming environment for the design of complex high-speed ASICs," in Proc. IEEE/ACM Design Automation Conf., 1998, pp. 315-320.
7. L. Semeria and A. Ghosh, "Methodology for hardware/software co-verification in C/C++," in Proc. High-Level Design Validation and Test Workshop, 1999, pp. 67-72.
8. G. D. Michelli, "Hardware synthesis from C/C++ models," in Proc. Design Automation and Test Eur. Conf., 1999, p. 80.
9. C. Weiler, U. Kebschull, and W. Rosenstiel, "C++ base classes for specification, simulation, and partitioning of a hardware/software system, " in Proc. CS Workshop on VLSI, 1995, pp. 777-784.
10. R. Roth and D. Ramanathan, "A high-level hardware design methodology using C++," in Proc. High-Level Design Validation and Test Workshop, 1999, pp. 73-80.
11. AMRM, Adaptive Memory Platform (2000) [Online], Available: http://www.cecs.uci.edu/̃amrm.
12. M. D. McIlroy, "Mass produced software components," in Software Eng.: Rep. Conf. Sponsored by NATO Sci. Committ., Oct. 1968, pp. 138-155.
13. J. Hopkins, "Component primer," Commun. ACM, pp. 27-30, Oct. 2000.
14. D. E. Perry and A. L. Wolf, "Foundations for the study of software architecture," ACM Software Eng. Notes, vol. 17, no. 4, pp. 40-52, 1992.
15. F. Doucet, R. Gupta, M. Otsuka, P. Schaumont, and S. Shukla, "Interoperability as a design issue in C++-based modeling environments," in Proc. Int. Symp. Syst. Synthesis, 2001, pp. 87-92.
16. D. Verkest, J. Cockx, F. Potargent, G. Jong, and H. D. Man, "On the use of C++ for system-on-chip design," in Proc. CS Workshop on VLSI, Apr. 1999, pp. 42-47.
17. S. Vernalde, P. Schaumont, and I. Bolsens, "An object oriented programming approach for hardware design," in Proc. CS Workshop on VLSI, Apr. 1999, pp. 68-75.
18. K. Wakabayashi and T. Okamoto, "C-based SoC design flow and EDA tools: An ASIC and system vendor perspective," IEEE Trans. Computer-Aided Design, vol. 19, pp. 1507-1522, Dec. 2000.
19. J. Zhu, "MetaRTL: Raising the abstraction level of RTL design, " in Proc. Design Automation and Test Eur. Conf., 2001, pp. 71-76.
20. W. Cesario, A. Baghdadi, L. Gauthier, D. Lyonnard, G. Nicolescu, Y. Paviot, S. Yoo, A. A. Jerraya, and M. Diaz-Nava, "Component-based design approach for multicore SOCs," Proc. IEEE/ACM Design Automation Conf., pp. 789-794, 2002.
21. 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 Test, vol. 18, pp. 32-45, Sept.-Oct. 2001.
22. A. Sangiovanni-Vicentelli and G. Martin, "Platform-based design and software design methodology for embedded systems," IEEE Design and Test of Comput., vol. 18, pp. 23-33, Dec. 2001.
23. The Ptolemy 2 Project, Univ. California, Berkeley [Online]. Available: http://ptolemy.eecs.berkeley.edu/.
24. E. A. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Computer-Aided Design, vol. 17, pp. 1217-1229, Dec. 1998.
25. E. A. Lee and Y. Xiong, "System-level types for component-based design," in Proc. 1st Int. Workshop on Embedded Software, vol. 2211, Oct. 2001, pp. 237-253.
26. V. Sinha, F. Doucet, C. Siska, R. Gupta, S. Liao, and A. Ghosh, "YAML: A tool for hardware design visualization and capture," in Proc. Int. Symp. Syst. Synthesis, 2000, pp. 9-14.
27. N. Medvidovic and R. N. Taylor, "A classification and comparison framework for software architecture description languages," IEEE Trans. Software Eng., vol. 26, pp. 70-93, Jan. 2000.
28. D. Garlan, R. Allen, and J. Ockerbloom, "Architectural mismatch: Why reuse is so hard," IEEE Software, vol. 12, pp. 17-26, Nov. 1995.
29. Tomiyama, A. Halambi, P. Grun, N. Dutt, and A. Nicolau, "Architecture description languages for system-on-chip design," in Proc. Asia Pacific Conf. Chip Design Lang., 1999, pp. 109-116.
30. A. Halambi, P. Grun, V. Ganesh, A. Khare, N. Dutt, and A. Nicolau, "EXPRESSION: A language for architecture exploration through compiler/simulator retargetability," in Proc. Design Automation and Test Eur. Conf., 1999, p. 100.
31. D. C. Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan, and W. Mann, "Specification and analysis of system architecture using rapide," IEEE Trans. Software Eng., vol. 21, pp. 336-354, Apr. 1995.
32. T. A. Henzinger, B. Horowitz, and C. M. Kirsch, "Giotto: A time-triggered language for embedded programming, "in Proc. 1st Int. Workshop on Embedded Software, vol. 2211, Oct. 2001, pp. 166-184.
33. T. Genssler, O. Nierstrasz, and B. Schoenhage, "Components for embedded software: The Pecos approach," in Proc. Int. Conf. Compilers, Architecture, and Systhesis for Embedded Syst., 2002, pp. 19-26.
34. M. M. Gorlick and A. R. R. Razouk, "Using weaves for software construction and analysis," in Proc. Int. Conf. Software Eng., 1991, pp. 23-34.
35. C. Szyperski, Component Software: Beyond Object Oriented Programm., Reading, MA: Addison-Wesley, 1998.
36. E. A. Lee and S. Neuendorffer, "MoML - A Modeling Markup Language in XML," Univ. California, Berkeley, Tech. Rep. UCB/ERL M00/12, Mar. 2000.
37. J. K. Ousterhout, "Scripting: Higher-level programming for the 21st Century," IEEE Computer, vol. 31, pp. 23-30, Mar. 1998.
38. L. Breslau D. Estrin K. Fall J. Heideraann A. Helmy P. Huang S. McCanne K. Varadhan Y. Xu H. Yu "Advances in network simulation" IEEE Computer vol. 33 pp. 2000.
39. NS: The Network Simulator [Online]. Available: http://www.isi.edu/nsnam/ns.
40. Simplified Wrapper and Interface Generator (SWIG) [Online]. Available: http://www.swig.org.
41. P. Chen, D. A. Kirkpatrick, and K. Keutzer. Fast integration of EDA tools and scripting language, presented at Proc. IEEE/DATC Electron. Design Process. Workshop. [Online] Available: http://www.eda.org/edps/edp01/PAPERS/pinhong.pdf.
42. N. Medvidovic, P. Oreizy, J. E. Robbins, and R. N. Taylor, "Using object-oriented typing to support architectural design in the C2 style," in Proc. 4th ACM SIGSOFT Symp. Foundations of Software Eng., 1996, pp. 24-32.
43. Y. Xiong and E. A. Lee, "An extensible type system for component-based design," in Proc. 6th Int. Conf. Tools and Algorithms for the Construction and Anal. Syst., vol. 1785, Apr. 2000, pp. 20-37.
44. J. Rehof and T. Mogensen, "Tractable constraints in finite semilattices," in Proc. 3rd Int. Static Anal. Symp., vol. 1145, Sept. 1996, pp. 285-300.
45. B. C. Pierce, Types and Programming Languages. Cambridge, MA: MIT Press, 2002.
46. D. Wetherall and C. J. Lindblad. Extending Tel for dynamic object-oriented programming. presented at Proc. Tcl/Tk Workshop. [Online] Available: http://tns-www.lcs.mit.edu/publications/tcltk95.djw.html.
47. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal, Pattern Oriented Software Architecture: A System of Patterns. New York: Wiley, 1996.
48. T. Groetker, S. Liao, G. Martin, and S. Swan, System Design with SystemC. Norwell, MA: Kluwer, 2002.
49. Corba middleware software, Object Management Group, Inc. [Online]. Available: http://www.corba.org.
50. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness. San Francisco, CA: Freeman, 1979.
51. J. D. Ullman, Principles of Database and Knowledge-Base Systems: Vol I and II. Rockville, MD: Computer Science, 1989.