AUT LibraryAUT
View Item 
  •   Open Research
  • AUT Faculties
  • Faculty of Design and Creative Technologies (Te Ara Auaha)
  • School of Engineering, Computer and Mathematical Sciences - Te Kura Mātai Pūhanga, Rorohiko, Pāngarau
  • View Item
  •   Open Research
  • AUT Faculties
  • Faculty of Design and Creative Technologies (Te Ara Auaha)
  • School of Engineering, Computer and Mathematical Sciences - Te Kura Mātai Pūhanga, Rorohiko, Pāngarau
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Conversing at Many Layers: Implementing Multi-layer On-chip Protocol Converters

Sinha, R
Thumbnail
View/Open
ICECCS2015date camera ready.pdf (243.9Kb)
Permanent link
http://hdl.handle.net/10292/10034
Metadata
Show full metadata
Abstract
The numerous intellectual property blocks of a

system-on-a-chip must be integrated so that they can meet

system-specific requirements. However, such integration is not

guaranteed due to mismatches between IP protocols. Protocol

conversion algorithms can generate converters that can guarantee

correct system behaviour, but the implementation of converters

on-chip remains an open question. IPs can be modelled at several

layers of the Open Systems Interconnection (OSI) model. Current

protocol conversion algorithms either focus on a single layer or

worse, blur the boundaries between these layers. We propose a

formal framework that allows generating implementable converters

for IP protocols modelled at different OSI layers using any

existing converter generation algorithm. We apply the framework

to an existing conversion algorithm and discuss how it can be as

readily used with other algorithms.
Keywords
Converter generation; SoC; Protocol conversion; Formal methods; OSI; AMBA
Date
December 12, 2015
Source
International Conference on Engineering of Complex Computer Systems (ICECCS) held at Surfers Paradise Marriott Resort, Gold Coast, Australia, 2015-12-09 to 2015-12-12, published in: International Conference on Engineering of Complex Computer Systems (ICECCS)
Item Type
Conference Contribution
DOI
10.1109/ICECCS.2015.25
Rights Statement
Copyright © 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Contact Us
  • Admin

Hosted by Tuwhera, an initiative of the Auckland University of Technology Library

 

 

Browse

Open ResearchTitlesAuthorsDateSchool of Engineering, Computer and Mathematical Sciences - Te Kura Mātai Pūhanga, Rorohiko, PāngarauTitlesAuthorsDate

Alternative metrics

 

Statistics

For this itemFor all Open Research

Share

 
Follow @AUT_SC

Contact Us
  • Admin

Hosted by Tuwhera, an initiative of the Auckland University of Technology Library