A Metastability-Free Multi-synchronous Communication Scheme for SoCs

  • Authors:
  • Thomas Polzer;Thomas Handl;Andreas Steininger

  • Affiliations:
  • Institute of Computer Engineering --- Embedded Computing Systems Group, Vienna University of Technology, Vienna, Austria A-1040;Institute of Computer Engineering --- Embedded Computing Systems Group, Vienna University of Technology, Vienna, Austria A-1040;Institute of Computer Engineering --- Embedded Computing Systems Group, Vienna University of Technology, Vienna, Austria A-1040

  • Venue:
  • SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a communication scheme for GALS systems with independent but approximately synchronized clock sources, which guarantees high-speed metastability-free communication between any two peers via bounded-size FIFO buffers. The proposed approach can be used atop of any multi-synchronous clocking system that guarantees a synchronization precision in the order of several clock cycles, like our fault-tolerant DARTS clocks. We determine detailed formulas for the required communication buffer size, and prove that this choice indeed guarantees metastability-free communication between correct peers, at maximum clock speed. We also describe a fast and efficient implementation of our scheme, and calculate the required buffer size for a sample test scenario. Experimental results confirm that the size lower bounds provided by our formulas are tight in this setting.