Nothing Special   »   [go: up one dir, main page]

skip to main content
research-article

MCF: a metamodeling-based component composition framework-composing SystemC IPs for executable system models

Published: 01 July 2008 Publication History

Abstract

Reusing Intellectual Property (IP)-cores accompanied by automated generation of the glue-logic, and automated composability checks can help designers to create efficient system-level models quickly and correctly for fast design space exploration. Furthermore, with the rise of multiple transaction level and register-transfer level abstractions, constructing models with mixed abstraction levels is also important. A framework that allows designers to: 1) describe the structure of components, their interfaces, and their interactions, with a semantically rich visual frontend; 2) automatically select IPs from a component library-based on sound-type theoretic principles; and 3) perform constraint based checks for composability, is highly desirable in this context. A metamodel based framework brings forth further advantages. It helps in: 1) providing rigorous semantics to the visual models; 2) imposing restrictions on the model and on interactions between components through constraints expressed in a constraint language; and 3) enabling type-checking and inference-based facilities. Furthermore, using XML-based schemas to store and process meta-information about the IPs as well as the schematic visual model, allows for an IP selection and integration methodology using existing XML processing tools. With these in mind, we present MCF, a metamodeling-based component composition framework for SystemC-based IP core composition at multiple and mixed abstraction levels, with all the advantages stated above.

References

[1]
OCP International Partnership Association, Inc., "OCPIP home page," 2001 {Online}. Available: www.OCPIP.org
[2]
ARM, Cambridge, London, U.K., "AMBA specification 2.0," 1999 {Online}. Available: http://www.arm.com
[3]
OSCI Group, "SystemC website," 2000 {Online}. Available: http://www.systemc.org/
[4]
D. A. Mathaikutty, H. D. Patel, S. K. Shukla, and A. Jantsch, "EWD: A metamodeling driven customizable multi-MoC system modeling framework," Proc. ACM Trans. Des. Autom. Electron. Syst., vol. 12, no. 3, Aug. 2007, Article 33.
[5]
A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, IV, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The generic modeling environment," presented at the Workshop Intell. Signal Process., Budapest, Hungary, May 2001.
[6]
O. M. Group, "Unified modeling language," 2001 {Online}. Available: http://www.uml.org/
[7]
J. Warmer and A. Kleppe, The Object Constraint Language: Getting Your Models Ready for MDA, 2nd ed. Boston, MA: Addison-Wesley, 2005.
[8]
B. DuCharme, XML: The Annotated Specification. Upper Saddle River, NJ: Prentice-Hall, 1998.
[9]
F. Doucet, S. Shukla, M. Otsuka, and R. Gupta, "BALBOA: A component based design environment for system models," IEEE Trans. Comput.-AidedDes., vol. 22, no. 12, pp. 1597-1612, Dec. 2003.
[10]
F. Doucet, S. Shukla, M. Otsuka, and R. Gupta, "An environment for dynamic component composition for efficient co-design," in Proc. Des. Autom. Test Conf. Eur. (DATE), Mar. 2002, pp. 1530-1591.
[11]
SPIRIT, "Spirit consortium, SPIRIT schema working group," 2005 {Online}. Available: http://www.spiritconsortium.org/
[12]
C. K. Lennard and E. Granata, "The meta-methods: Managing design risk during IP selection and integration," in Proc. Eur. IP Conf., Nov. 1999, pp. 285-199.
[13]
M. Vachharajani, N. Vachharajani, D. Penry, J. Blome, and D. August, "Microarchitectural exploration with liberty," presented at the 35th Int. Symp. Microarch. (MICRO), Istanbul, Turkey, Nov. 2002.
[14]
M. Vachharajani, N. Vachharajani, S. Malik, and D. August, "Facilitating reuse in hardware models with enhanced type inference," in Proc. 1EEE/ACM/IFIP 2nd Int. Conf. Hardw./Softw. Codes. Syst. Synth., Sep. 2004, pp. 86-91.
[15]
J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity--The Ptolemy approach," Proc. IEEE Special Issue Modeling Design Embedded Softw., vol. 91, no. 1, pp. 127-144, Jan. 2003.
[16]
Y. Xiong, "An extensible type system for component based design," Ph.D. dissertation, Dept. Elect. Eng. Comput. Sci., Univ. California Berkeley, Berkeley, 2002.
[17]
A. C. Wills, "Modeling for component based development," presented at the Eur. Conf. Object-Oriented Program. (ECOOP), Brussels, Belgium, 1998.
[18]
B. Morel and P. Alexander, "SPARTACAS: Automating component reuse and adaptation," IEEE Trans. Softw. Eng., vol. 30, pp. 587-600, Sep. 2004.
[19]
P. Alexander, D. Barton, and C. Kong, "Rosetta usage guide," The Univ. Kansas, Lawrence, 2000.
[20]
Y. Chen and B. Cheng, "Facilitating an automated approach to architecture-based software reuse," in Proc. 12th IEEE Int. Conf. Automated Softw. Eng., Nov. 1997, pp. 238-245.
[21]
M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, and G. Zelesnik, "Abstractions for software architecture and tools to support them," IEEE Trans. Softw. Eng., vol. 21, no. 4, pp. 314-335, Apr. 1995.
[22]
A. Jantsch and H. Tenhunen, Networks on Chip. San Francisco, CA: Morgan Kaufmann, 2003.
[23]
F. Ghenassia, Transaction-LevelModeling with SystemC. New York: Springer, 2005.
[24]
C. N. Ip and S. Swan, "A tutorial introduction on the new SystemC verification standard," 2003 {Online}. Available: www.systemverilog.org
[25]
D. A. Mathaikutty and S. K. Shukla, "MCF: A metamodeling based visual component composition framework," Virginia Institute of Technology, Blacksburg, Tech. Rep. 2005-12, 2005.
[26]
L. D. Alfaro and T. A. Henzinger, "Interface automata," in Proc. 9th Annu. Symp. Foundations Softw. Eng. (FSE), 2001, pp. 109-120.

Cited By

View all
  • (2009)Provably correct on-chip communicationACM Transactions on Design Automation of Electronic Systems10.1145/1497561.149756214:2(1-41)Online publication date: 7-Apr-2009
  • (2009)A methodology for constraint-driven synthesis of on-chip communicationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2009.201327328:3(364-377)Online publication date: 1-Mar-2009

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image IEEE Transactions on Very Large Scale Integration (VLSI) Systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems  Volume 16, Issue 7
July 2008
162 pages

Publisher

IEEE Educational Activities Department

United States

Publication History

Published: 01 July 2008
Revised: 12 March 2007
Received: 03 November 2006

Author Tags

  1. Architectural template
  2. architectural template
  3. component composition model
  4. metamodel
  5. metamodeling framework
  6. partial specification

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 29 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (2009)Provably correct on-chip communicationACM Transactions on Design Automation of Electronic Systems10.1145/1497561.149756214:2(1-41)Online publication date: 7-Apr-2009
  • (2009)A methodology for constraint-driven synthesis of on-chip communicationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2009.201327328:3(364-377)Online publication date: 1-Mar-2009

View Options

View options

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media