Protocol converter synthesis

@inproceedings{Androutsopoulos2004ProtocolCS,
  title={Protocol converter synthesis},
  author={Vassilis Androutsopoulos and David Michael Brookes and Thomas J. W. Clarke},
  year={2004}
}
A system-on-a-chip is an interconnection of different pre-verified IP hardware blocks, which communicate using complex protocols. The integration of IP blocks requires some glue logic to interface otherwise incompatible datapaths. This glue logic is called a protocol converter and its manual design proves to be a tedious and time-consuming task. Automatic synthesis is therefore important, but for optimal system-level design it is necessary to consider not just the correctness, but also the… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-8 OF 8 CITATIONS

Efficient protocol converter generation for system integration

  • 2010 IEEE Asia Pacific Conference on Circuits and Systems
  • 2010
VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Formal Model of a Protocol Converter

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

  • ACM Trans. Design Autom. Electr. Syst.
  • 2014
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Communication model of embedded multi-protocol gateway for MRO online monitoring system

  • 2015 IEEE 19th International Conference on Computer Supported Cooperative Work in Design (CSCWD)
  • 2015

A formal approach to design space exploration of protocol converters

  • 2009 Design, Automation & Test in Europe Conference & Exhibition
  • 2009
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

A Formal Approach To The Protocol Converter Problem

  • 2008 Design, Automation and Test in Europe
  • 2008
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Synthesis and optimization of interfaces between hardware modules with incompatible protocols

  • Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03.
  • 2003

A design methodology for IP integration

  • 2002 IEEE International Symposium on Circuits and Systems. Proceedings (Cat. No.02CH37353)
  • 2002

performance analysis of embedded DSP systems in the MASIC methodology

G. Borriello, R. H. Katz
  • Proc. 14th Int. Symp. on System Synthesis (ISSS
  • 2001

performance analysis of embedded DSP systems in the MASIC methodology

G. Borriello, R. H. Katz
  • Proc. 14th Int. Symp. on System Synthesis (ISSS
  • 2001