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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 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
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.
http://www.spiritconsortium.org/press/presentations/65nm_SoC_Design_by_ST_Micro.pdf
http://www.mentor.com/company/news/platformexpressipxactspiritconsortium
IP-XACT v1.4: A specification for XML meta-data and tool interfaces.
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
Richard Goering. “Register Description Format Gets ‘Spirit’ of Standardization”, EE Times, May 21, 2007, http://www.eetimes.com/news/design/showArticle.jhtml?articleID=199700202
Bertrand Blanc, Bob Maaraoui. Endianness or Where is Byte 0?, Distributed Network Applications Lab; http://www.dnal.gatech.edu/lane/misc/endianness05.pdf
Russell Massey, “Introduction to Interrupts”, Embedded System Design, June 1, 2001. http://www.embedded.com/story/OEG20010518S0075
ARM Primecell UART PL011 Technical Reference Manual.
Wolfgang Ecker, Wolfgang Müller, Rainer Dömer (editors), Hardware-dependent Software – Principles and Practice. 2009. Springer, 2009. ISBN: 978-1-4020-9435-4
ARM Limited. AMBA specification (Rev 2.0), ARM IHI 0011A, 1999.
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.
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
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
Richard Goering. “Denali spreads new word in ESL mart”, EETimes, August 8, 2005. http://www.eetimes.com/news/design/products/showArticle.jhtml?articleID=167600522
Richard Goering. “Register Language Available Through Open Source, EETimes, March 13, 2006. http://www.eetimes.com/news/design/showArticle.jhtml?articleID=181503390
http://www.spiritconsortium.org/press/SystemRDL_01Apr09_Final.pdf
Kevork V. Dikramanjian. “An Introduction to the VMM Register Abstraction Layer” http://www.soccentral.com/results.asp?CatID=488&EntryID=23383
Brian Bailey, Grant Martin, Andrew Piziali. ESL Design and Verification, Elsevier, 2007. ISBN-13:978-0-12-373551-5.
Using the Register Abstraction Layer. http://www.vmmcentral.org/pdfs/using_register_abstract_layer.pdf
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
Pete Goodliffe. “Register Access in C++”, Dr. Dobb’s Journal, May 1, 2005. http://www.ddj.com/cpp/184401954
C. Ford, “Improving Hardware Access with C++”, July 2007.
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
Michael Barr. “Bug-Killing Standards for Firmware Coding”, embedded.com, May 1, 2009 http://www.embedded.com/design/testissue/217201405
http://www.synopsys.com/Tools/Verification/HardwareAssistedVerification/Pages/default.aspx
http://www.mentor.com/products/esl/news/platform_express_supports_spirit.cfm
David Murray, Zoltan Sugar. Register Management of complex SoCs http://duolog.com/files/pub/Duolog%20Register%20Management%20of%20Complex%20SoCs.pdf
Author information
Authors and Affiliations
Corresponding author
Rights 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)