Skip to main content

Encapsulating connections on SoC designs using ASM++ charts

  • Conference paper
  • First Online:
Advanced Techniques in Computing Sciences and Software Engineering

Abstract

This article presents a methodology to encapsulate, not only the functionality of several SoC modules, but also the connections between those modules. To achieve these results, the possibilities of Algorithmic State Machines (ASM charts) have been extended to develop a compiler. Using this approach, a SoC design becomes a set of chart boxes and links: several boxes describe parameterized modules in a hierarchical fashion, other boxes encapsulate their connections, and all boxes are linked together using simple lines. At last, a compiler processes all required files and generates the corresponding VHDL or Verilog code, valid for simulation and synthesis. A small SoC design with two DSP processors is shown as an example.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. Xilinx, “Platform Studio and the EDK”, on-line at http://www.xilinx.com/ise/embedded_design_prod/platform_studio.htm, last viewed on October 2008.

  2. Altera, “Introduction to SoPC Builder”, on-line at http://www.altera.com/literature/hb/qts/qts_qii54001.pdf, May 2008, from Quartus II Handbook, last viewed on October 2008.

  3. SystemVerilog, "IEEE Std. 1800–2005: IEEE Standard for SystemVerilog - Unified Hardware Design, Specification, and Verification Language", IEEE, 3 Park Avenue, NY, 2005.

    Google Scholar 

  4. R. Dömer, D.D. Gajski and A. Gerstlauer, "SpecC Methodology for High-Level Modeling", 9th IEEE/DATC Electronic Design Processes Workshop, 2002.

    Google Scholar 

  5. C.R. Clare, Designing Logic Systems Using State Machines, McGraw-Hill, New-York, 1973.

    Google Scholar 

  6. Douglas W. Brown, "State-Machine Synthesizer - SMS", Proceedings of 18th Design Automation Conference, pp. 301–305, June 1981.

    Google Scholar 

  7. D. Ponta and G. Donzellini, "A Simulator to Train for Finite State Machine Design", Proceedings of 26th Annual Conference on Frontiers in Education Conference (FIE’96), vol. 2, pp. 725–729, Salt Lake City, Utah, USA, November 1996.

    Google Scholar 

  8. J.P. David and E. Bergeron, "A Step towards Intelligent Translation from High-Level Design to RTL", Proceedings of 4th IEEE International Workshop on System-on-Chip for Real-Time Applications, pp. 183–188, Banff, Alberta, Canada, July 2004.

    Google Scholar 

  9. E. Ogoubi and J.P. David, "Automatic synthesis from high level ASM to VHDL: a case study", 2nd Annual IEEE Northeast Workshop on Circuits and Systems (NEWCAS 2004), pp. 81–84, June 2004.

    Google Scholar 

  10. D.D. Gajski, Principles of Digital Design, Prentice Hall, Upper Saddle River, NJ, 1997.

    Google Scholar 

  11. S. de Pablo, S. Cáceres, J.A. Cebrián and M. Berrocal, "Application of ASM++ methodology on the design of a DSP processor", Proc. of 4th FPGAworld Conference, pp. 13–19, Stockholm, Sweden, September 2007.

    Google Scholar 

  12. S. de Pablo, S. Cáceres, J.A. Cebrián, M. Berrocal and F. Sanz, "ASM++ diagrams used on teaching electronic design", Innovative Techniques in Instruction Technology, E-learning, E-assessment and Education, Ed. Springer, pp. 473–478, 2008.

    Google Scholar 

  13. The PHP Group, on-line at http://www.php.net, last stable release has been PHP 5.2.6 at May 1st, 2008.

Download references

Acknowledgments

The authors would like to acknowledge the financial support for these developments from eZono AG, Jena, Germany, from ISEND SA, Valladolid, Spain, and also from the Spanish government (MEC and FEDER funds) under grant ENE2007- 67417/ALT.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Santiago de Pablo .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media B.V.

About this paper

Cite this paper

de Pablo, S., Herrero, L.C., Martínez, F., Rey, A.B. (2010). Encapsulating connections on SoC designs using ASM++ charts. In: Elleithy, K. (eds) Advanced Techniques in Computing Sciences and Software Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-3660-5_55

Download citation

  • DOI: https://doi.org/10.1007/978-90-481-3660-5_55

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-3659-9

  • Online ISBN: 978-90-481-3660-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics