Conversing at Many Layers: Implementing Multi-layer On-chip Protocol Converters
Loading...
Files
Size: 243.96 KB, File format: Adobe PDF
Date
Authors
Sinha, R
Supervisor
Item type
Degree name
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Description
Keywords
Converter generation; SoC; Protocol conversion; Formal methods; OSI; AMBA
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)
Publisher's version
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.