Synchronizer-free Digital Link Controller - Laboratoire Méthodes Formelles
Article Dans Une Revue IEEE Transactions on Circuits and Systems I: Regular Papers Année : 2020

Synchronizer-free Digital Link Controller

Résumé

This work presents a producer-consumer link between two independent clock domains. The link allows for metastability-free, low-latency, high-throughput communication by slight adjustments to the clock frequencies of the producer and consumer domains steered by a controller circuit. Any such controller cannot deterministically avoid, detect, nor resolve metastability. Typically, this is addressed by synchronizers, incurring a larger dead time in the control loop. We follow the approach of Friedrichs et al. (TC 2018) who proposed metastability-containing circuits. The result is a simple control circuit that may become metastable, yet deterministically avoids buffer underrun or overflow. More specifically, the controller output may become metastable, but this may only affect oscillator speeds within specific bounds. In contrast, communication is guaranteed to remain metastability-free. We formally prove correctness of the producer-consumer link and a possible implementation that has only small overhead. With SPICE simulations of the proposed implementation we further substantiate our claims. The simulation uses 65 nm process running at roughly 2 GHz.
Fichier principal
Vignette du fichier
paper.pdf (1.35 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03070312 , version 1 (15-12-2020)

Identifiants

Citer

Johannes Bund, Matthias Függer, Christoph Lenzen, Moti Medina. Synchronizer-free Digital Link Controller. IEEE Transactions on Circuits and Systems I: Regular Papers, 2020, 67 (10), pp.3562-3573. ⟨10.1109/TCSI.2020.2989552⟩. ⟨hal-03070312⟩
75 Consultations
27 Téléchargements

Altmetric

Partager

More