Sciweavers

Share
DATE
2009
IEEE

A formal approach to design space exploration of protocol converters

9 years 6 months ago
A formal approach to design space exploration of protocol converters
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the absence of a single module interface standard, integration of pre-designed modules often requires the use of protocol converters. For an arbitrary pair of incompatible protocols it is likely that there exist more than one possible converter. However, existing approaches to automatic synthesis of protocol converters either produce a single suggested converter or provide a general nondeterministic solution, out of which a designer is required to extract a deterministic converter. In this work we present a novel approach for design space exploration of FSM based protocol converters. We present algorithms for extraction of minimal converters for a given pair of incompatible protocols. We demonstrate the process through a simple example, and report on results of experiments with converters for commercial protocols AM...
Karin Avnit, Arcot Sowmya
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where DATE
Authors Karin Avnit, Arcot Sowmya
Comments (0)
books