Formal transformation of a KPN specification to a GALS implementation

  title={Formal transformation of a KPN specification to a GALS implementation},
  author={Syed Suhaib and Bijoy A. Jose and Sandeep K. Shukla and Deepak Mathaikutty},
  journal={2008 Forum on Specification, Verification and Design Languages},
Kahn process networks (KPNs) provide a model of computation for streaming audio, video and various multimedia applications. However, the KPN model consists of unbounded FIFOs between these communicating processes which need to be realized by other means. Application of a design transformation process to a KPN style specification towards a Globally asynchronous locally synchronous (GALS) implementation is one way of achieving this. Furthermore, this transformation process needs to preserve the… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 14 references

Interconnect scaling - The real limiter to high performance VLSI

  • M. Bohr
  • IEEE Int. Electron Devices Meeting, pages 241–244
  • 1995
1 Excerpt

Similar Papers

Loading similar papers…