Skip to main content
SpringerLink
Log in

IP-Centric Methodology and Design with the SpecC Language

System Level Design of Embedded Systems

  • Chapter
System-Level Synthesis

Part of the book series: NATO Science Series ((NSSE,volume 357))

Abstract

In this paper, we demonstrate the application of the specify-explore-refine (SER) paradigm for an IP-centric codesign of embedded systems. We describe the necessary design tasks required to map an abstract executable specification of the system to the architectural implementation model. We also describe the final and intermediate models generated as a result of these design tasks. The executable specification and its refinements should support easy insertion and reuse of IPs.

Although several languages are currently used for system design, none of them completely meets the unique requirements of system modelling with support for IP reuse. This paper discusses the requirements and objectives for system languages and describes a C-based language called SpecC, which precisely covers these requirements in an orthogonal manner.

Finally, we describe the design environment which is based on our code-sign methodology.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. Arnold, J. Gosling; The Java Programming Language; Addison-Wesley, 1996.

    MATH  Google Scholar 

  2. F. Balarin, P. Giusto, A. Jurecska, C. Passerone, E. Sentovich, B. Tabbara, M. Chiodo, H. Hsieh, L. Lavagno, A. Sangiovanni-Vincentelli, K. Suzuki. Hardware-Software Co-Design of Embedded Systems, The POLIS approach. Kluwer Academic Publishers, April 1997.

    Book  MATH  Google Scholar 

  3. F. Chan, M. Spiller, R. Newton. “WELD — An Environment for Web-Based Electronic Design”. In Proceedings of the Design Automation Conference, San Francisco, 1998.

    Google Scholar 

  4. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli. “A Formal Specification Model for Hardware/Software Codesign”. In Proceedings of International Workshop on Hardware-Software Codesign, Oct. 1993.

    Google Scholar 

  5. P. Chou, R. Ortega, G. Borriello. “The Chinook Hardware/Software Co-Synthesis System”. In International Symposium on System Synthesis, Cannes, France, Sept. 1995.

    Google Scholar 

  6. R. Dömer, J. Zhu, D. Gajski. The SpecC Language Reference Manual. University of California, Irvine, Technical Report ICS-TR-98-13, March 1998.

    Google Scholar 

  7. D. Drusinsky and D. Harel. “Using Statecharts for hardware description and synthesis”. In IEEE Transactions on Computer Aided Design, 1989.

    Google Scholar 

  8. R. Ernst, J. Henkel, T. Benner. “Hardware-software cosynthesis for microcontrollers”. In IEEE Design and Test, Vol. 12, 1993.

    Google Scholar 

  9. R. Ernst, et. al. “The COSYMA Environment for Hardware-Software Cosynthesis of Small Embedded Systems”. In Microprocessors and Microsystems, Vol. 20, No. 3, May 1996.

    Google Scholar 

  10. D. Gajski, F. Vahid, and S. Narayan. “SpecCharts: a VHDL front-end for embedded systems”. University of California, Irvine, Technical Report ICS-TR-93-31, 1993.

    Google Scholar 

  11. D. Gajski, F. Vahid, S. Narayan, J. Gong. Specification and Design of Embedded Systems. Prentice Hall, New Jersey, 1994.

    MATH  Google Scholar 

  12. D. Gajski, J. Zhu, R. Dömer. “Essential Issues in Codesign”. In Hardware/Software Co-Design: Principles and Practice, edited by J. Staunstrup, W. Wolf. Kluwer Academic Publishers, 1997.

    Google Scholar 

  13. R. Gupta, C. Coelho., G. De Micheli. “Synthesis and simulation of digital systems containing interacting hardware and software components”. In Proceedings of the 29th ACM, IEEE Design Automation Conference, 1992.

    Google Scholar 

  14. R. Gupta, S. Liao. “Using a Programming Language for Digital System Design”. In IEEE Design & Test of Computers, IEEE, 1997.

    Google Scholar 

  15. D. Harel; “StateCharts: a Visual Formalism for Complex Systems”; Science of Programming, 8, 1987.

    Google Scholar 

  16. J. Henkel, R. Ernst. “A Hardware-Software Partitioner Using a Dynamically Determined Granularity”. In Proceedings of the Design Automation Conference, 1997.

    Google Scholar 

  17. IEEE Inc., N.Y. IEEE Standard VHDL Language Reference Manual, 1998.

    Google Scholar 

  18. T. Ismail, M. Abid, A. Jerraya. “COSMOS: A Codesign Approach for Communicating Systems”. In Proceedings of the International Workshop on Hardware- Software Codesign. IEEE CS Press, 1994.

    Google Scholar 

  19. A. Kalavade, E. Lee. “A Hardware/Software Codesign Methodology for DSP Applications”. In IEEE Design and Test, Sept. 1993.

    Google Scholar 

  20. G. Koch, U. Kebschull, W. Rosenstiel. “A prototyping architecture for hardware/software codesign in the COBRA project”. In Proceedings of the third International Workshop on Hardware/Software Codesign, IEEE Computer Society Press, 1994.

    Google Scholar 

  21. D. Ku, G. De Micheli. “HardwareC — A Language for Hardware Design, Version 2.”. Tech. Rep. CSL-TR-90-419, Stanford University, April 1990.

    Google Scholar 

  22. E. Lee and D. Messerschmidt. “Static scheduling of synchronous data flow graphs for digital signal processors”. In IEEE Transactions on Computer-Aided Design, 1987.

    Google Scholar 

  23. S. Liao, S. Tjiang, R. Gupta. “An Efficient Implementation of Reactivity for Modeling Hardware in the Scenic Design Environment”. In Proceedings of the 34th Design Automation Conference, Anaheim, California, USA, 1997.

    Google Scholar 

  24. C. Liem, F. Nacabal, C. Valderrama, P. Paulin, A. Jerraya. “System-on-a-chip cosimulation and compilation”. In IEEE Design & Test of Computers, 1997.

    Google Scholar 

  25. C. Liem, P. Paulin. “Compilation Techniques and Tools for Embedded Processor Architectures”. In Hardware/Software Co-Design: Principles and Practice, edited by J. Staunstrup, W. Wolf. Kluwer Academic Publishers, 1997.

    Google Scholar 

  26. J. Madsen, J. Grode, P. Knudsen. “Hardware/Software Partitioning using the LYCOS System”. In Hardware/Software Co-Design: Principles and Practice, edited by J. Staunstrup, W. Wolf. Kluwer Academic Publishers, 1997.

    Google Scholar 

  27. P. Marwedel, G. Goossens. Code Generation for Embedded Processors. Kluwer Academic Publishers, 1995.

    Google Scholar 

  28. G. De Micheli. Synthesis and Optimization of Digital Circuits. McGraw Hill, 1994.

    Google Scholar 

  29. S. Narayan, F. Vahid, D. Gajski. “System Specification and Synthesis with the SpecCharts Language”. In Proceedings of the International Conference on Computer Aided Design, 1991.

    Google Scholar 

  30. A. Österling, T. Benner, R. Ernst, D. Herrmann, T. Scholz, W. Ye. “The Cosyma System”. In Hardware/Software Co-Design: Principles and Practice, edited by J. Staunstrup, W. Wolf. Kluwer Academic Publishers, 1997.

    Google Scholar 

  31. K. Rompaey, D. Verkest, I. Bolsens, H. De Man. “CoWare — A design environment for heterogeneous hardware/software systems”. In Proceedings of the European Design Automation Conference, 1996.

    Google Scholar 

  32. W. Rosenstiel. “Prototyping and Emulation”. In Hardware/Software Co-Design: Principles and Practice, edited by J. Staunstrup, W. Wolf. Kluwer Academic Publishers, 1997.

    Google Scholar 

  33. B. Stroustrup. The C++ Programming Language, third edition. Addison-Wesley, 1997.

    Google Scholar 

  34. D. Thomas, P. Moorby. The Verilog Hardware Description Language. Kluwer Academic Publishers, 1991.

    Book  Google Scholar 

  35. C. Valderrama, M. Romdhani, J. Daveau, G. Marchioro, A. Changuel, A. Jerraya. “Cosmos: A Transformational Co-design tool for Multiprocessor Architectures”. In Hardware/Software Co-Design: Principles and Practice, edited by J. Staunstrup, W. Wolf. Kluwer Academic Publishers, 1997.

    Google Scholar 

  36. W. Wolf. “Hardware/Software Co-Synthesis Algorithms”. In Hardware/Software Co-Design: Principles and Practice, edited by J. Staunstrup, W. Wolf. Kluwer Academic Publishers, 1997.

    Google Scholar 

  37. X3 Secretariat. The C Language. X3J11/90-013, ISO Standard ISO/IEC 9899. Computer and Business Equipment Manufacturers Association, Washington, DC, USA, 1990.

    Google Scholar 

  38. T. Yen, W. Wolf. Hardware-software Co-synthesis of Distributed Embedded Systems. Kluwer Academic Publishers, 1997.

    Google Scholar 

  39. J. Zhu, R. Dömer, D. Gajski. “Syntax and Semantics of the SpecC Language”. In Proceedings of the Synthesis and System Integration of Mixed Technologies, Osaka, Japan, Dec. 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Science, University of California, Irvine, California, USA

    Daniel D. Gajski, Rainer Dömer & Jianwen Zhu

Authors
  1. Daniel D. Gajski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rainer Dömer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jianwen Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. TIMA Laboratory, Grenoble, France

    Ahmed A. Jerraya  & Jean Mermet  & 

  2. ECSI, Gières, France

    Jean Mermet

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Gajski, D.D., Dömer, R., Zhu, J. (1999). IP-Centric Methodology and Design with the SpecC Language. In: Jerraya, A.A., Mermet, J. (eds) System-Level Synthesis. NATO Science Series, vol 357. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4698-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-4698-2_10

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-0-7923-5749-0

  • Online ISBN: 978-94-011-4698-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation