DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Proceedings papers >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/100/1180

Title: Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures
Authors: D'SILVA, V
RAMESH, S
SOWMYA, A
Issue Date: 2005
Publisher: IEE-INST ELEC ENG
Citation: IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES,152(1)20-27
Abstract: Plug-n-play-style intellectual property reuse in system-on-chip design is facilitated by the use of an on-chip bus architecture. Component integration and verification in such systems is a cumbersome and time consuming process largely concerned with interfacing issues. A synchronous, finite state machine framework for modelling communication aspects of such architecture is presented. The framework has been developed via interaction with designers and the industry, and is intuitive and light-weight. The development includes cycle-accurate methods for protocol specification, compatibility verification, interface synthesis and model checking with automated specification. Case studies performed include the AMBA family of protocols and a proprietary industrial bus protocol. These modelling exercises show that such models enable reasoning about and comparison of different bus architectures to gain valuable design insights. The utility of this framework is demonstrated by modelling the AMBA bus architecture including details such as pipelined operation, burst transfers, the AHB-APB bridge and arbitration features.
URI: http://dx.doi.org/10.1049/ip-cdt:20045097
http://dspace.library.iitb.ac.in/xmlui/handle/10054/14375
http://hdl.handle.net/100/1180
ISSN: 1350-2387
Appears in Collections:Proceedings papers

Files in This Item:

There are no files associated with this item.

View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback