Skip to main content

IP Meta-Models for SoC Assembly and HW/SW Interfaces

  • Chapter
  • First Online:
ESL Models and their Application

Part of the book series: Embedded Systems ((EMSY))

Abstract

A functional model contains a lot of information, but it does not often contain the information about how it was meant to be used, what restrictions are placed on its usage or the way in which it is meant to be connected. This information is considered to be metadata about that block and was often the principal information that would have been found on a specification sheet for a device. Once that information is captured in a formalized manner it can be used by tools to help with things such as system construction, enable system consistency to be analyzed, or reduce the burden of things such as documentation.

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

Access this chapter

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 EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 139.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

Notes

  1. 1.

    This is not the most optimal mapping of the register as the 8-bit counter value needs to be shifted every time it is read by the software. After finishing the chapter, consider what it would take to change this in a manual flow after it has been implemented in all the different views!

References

  1. Anssi Haverinen, Katherine Hsu, Gordon Price, Rano Rafidinitrimo, Kumar Venkatramani and Melanie Yunk, “A standard Internet ready VC Exchange System”, Proceedings of DATE 2000 User Forum, Paris France pp. 85–91.

    Google Scholar 

  2. http://en.wikipedia.org/wiki/XML

  3. http://www.design-reuse.com/

  4. http://www.si2.org

  5. http://www.si2.org/?page=435

  6. http://www.vsi.org/

  7. http://www.chipestimate.com/

  8. http://www.spiritconsortium.org/home

  9. http://www.dasc.org/

  10. http://www.eda-stds.org/spirit-p1685/

  11. http://www.edn.com/article/CA6664639.html

  12. http://www.spiritconsortium.org/press/presentations/65nm_SoC_Design_by_ST_Micro.pdf

  13. http://www.mentor.com/company/news/platformexpressipxactspiritconsortium

  14. IP-XACT v1.4: A specification for XML meta-data and tool interfaces.

    Google Scholar 

  15. Richard Goering. “Lucent Enters EDA Arena with Interface Design Tool”, EE Times, June 21, 2000 http://www.eetimes.com/news/design/showArticle.jhtml;jsessionid=BQ3MLEXGEHEW0QSNDLOSKH0CJUNN2JVN?articleID=17406057

  16. Richard Goering. “Register Description Format Gets ‘Spirit’ of Standardization”, EE Times, May 21, 2007, http://www.eetimes.com/news/design/showArticle.jhtml?articleID=199700202

  17. Bertrand Blanc, Bob Maaraoui. Endianness or Where is Byte 0?, Distributed Network Applications Lab; http://www.dnal.gatech.edu/lane/misc/endianness05.pdf

  18. Russell Massey, “Introduction to Interrupts”, Embedded System Design, June 1, 2001. http://www.embedded.com/story/OEG20010518S0075

  19. ARM Primecell UART PL011 Technical Reference Manual.

    Google Scholar 

  20. Wolfgang Ecker, Wolfgang Müller, Rainer Dömer (editors), Hardware-dependent Software – Principles and Practice. 2009. Springer, 2009. ISBN: 978-1-4020-9435-4

    Google Scholar 

  21. ARM Limited. AMBA specification (Rev 2.0), ARM IHI 0011A, 1999.

    Google Scholar 

  22. Andrew Sloss, Dominic Symes, Chris Wright. ARM System Developer’s Guide: Designing and Optimizing System Software, Elsevier Morgan Kaufmann, 2004, ISBN- 1-55860-874-5.

    Google Scholar 

  23. Mick Posner, Darrin Mossor. “Designing Using the AMBA 3 AXI Protocol: Easing the Design Challenges and Putting the Verification Task on a Fast Track to Success”, Synopsys Compiler Magazine, September, 2005. http://www.synopsys.com/news/pubs/compiler/art3_amba3axi-sep05.html?cmp=NLC-insight&Link=Sep05_Issue_Art3

  24. David Witt, TI. “ASICs to ASSPs for Working Engineers: Building the OMAP 3430”, HOT Chips, 2007 Tutorial. http://www.hotchips.org/archives/hc19/1_Sun/HC19.tutorial1.01.pdf

  25. http://www.docbook.org/

  26. Richard Goering. “Denali spreads new word in ESL mart”, EETimes, August 8, 2005. http://www.eetimes.com/news/design/products/showArticle.jhtml?articleID=167600522

  27. Richard Goering. “Register Language Available Through Open Source, EETimes, March 13, 2006. http://www.eetimes.com/news/design/showArticle.jhtml?articleID=181503390

  28. http://www.spiritconsortium.org/press/SystemRDL_01Apr09_Final.pdf

  29. Kevork V. Dikramanjian. “An Introduction to the VMM Register Abstraction Layer” http://www.soccentral.com/results.asp?CatID=488&EntryID=23383

  30. Brian Bailey, Grant Martin, Andrew Piziali. ESL Design and Verification, Elsevier, 2007. ISBN-13:978-0-12-373551-5.

    Google Scholar 

  31. IP-Design, Reuse : http://www.design-reuse.com/news/3894/verisity-e-reuse-methodology-erm-reusable-quality-verification-component-development-erm-boosts-productivity-interoperability-all-evcs.html

  32. Using the Register Abstraction Layer. http://www.vmmcentral.org/pdfs/using_register_abstract_layer.pdf

  33. Joachim Knäblein, Hans Sahm. Automated Formal Method Verifies Highly-Configurable HW/SW Interface, SCD Source, April 30, 2009. http://www.scdsource.com/article.php?id=332

  34. Pete Goodliffe. “Register Access in C++”, Dr. Dobb’s Journal, May 1, 2005. http://www.ddj.com/cpp/184401954

  35. C. Ford, “Improving Hardware Access with C++”, July 2007.

    Google Scholar 

  36. Timothy Stapko, “10 Tips for Writing More Maintainable Embedded Software Code”, embedded.com, December 3, 2008 http://www.embedded.com/design/opensource/212201562?_requestid=174425

  37. Michael Barr. “Bug-Killing Standards for Firmware Coding”, embedded.com, May 1, 2009 http://www.embedded.com/design/testissue/217201405

  38. http://www.systemc.org/

  39. http://www.greensocs.com/en/Projects/GreenReg

  40. http://www.synopsys.com/Tools/Verification/HardwareAssistedVerification/Pages/default.aspx

  41. http://www.eve-team.com/products/zebu-xxl.php

  42. http://www.duolog.com/products/bitwise-register-management

  43. http://www.semifore.com/products/datasheet/

  44. http://www.productive-eda.com/node/17

  45. http://www.mentor.com/products/esl/news/platform_express_supports_spirit.cfm

  46. David Murray, Zoltan Sugar. Register Management of complex SoCs http://duolog.com/files/pub/Duolog%20Register%20Management%20of%20Complex%20SoCs.pdf

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Brian Bailey .

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Bailey, B., Martin, G. (2010). IP Meta-Models for SoC Assembly and HW/SW Interfaces. In: ESL Models and their Application. Embedded Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-0965-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4419-0965-7_2

  • Published:

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4419-0964-0

  • Online ISBN: 978-1-4419-0965-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics