Crosstalk glitch propagation modeling for asynchronous interfaces in globally asynchronous locally synchronous systems

  • Authors:
  • Syed Rafay Hasan;Normand Bélanger;Yvon Savaria;M. Omair Ahmad

  • Affiliations:
  • Center for Signal Processing and Communications, Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada;Groupe de Recherche en Microélectronique et Microsystèmes, École Polytechnique de Montréal, Montreal, QC, Canada;Groupe de Recherche en Microélectronique et Microsystèmes, École Polytechnique de Montréal, Montreal, QC, Canada;Center for Signal Processing and Communications, Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada

  • Venue:
  • IEEE Transactions on Circuits and Systems Part I: Regular Papers
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper characterizes the potentially catastrophic effect of crosstalk glitches on representative circuit implementations of two widely used asynchronous protocols. It is demonstrated that the crosstalk glitches can induce false events, which can undesirably propagate into asynchronous interface circuits and may cause system failure. Conventionally, to a circuit designer, glitch propagation (GP) due to aggressor-to-quiet-Iine crosstalk (AQX) in asynchronous handshake schemes can only be observed through circuit-level analysis/simulation. In this paper, circuit-level analysis is first performed to prove that even optimized conventional asynchronous circuits allow crosstalk glitches produced over moderate-length interconnects (1.5 mm) to propagate. This is a precursor to a more problematic crosstalk glitch occurrence due to further scaling of technologies. To warn the digital designers from GP due to AQX, a novel modeling technique is proposed. This modeling method works at the logic level to 'facilitate asserting asynchronous interface robustness to crosstalk glitches. This model can accurately identify the possibility of intrinsic (to the asynchronous interface) crosstalk GP in asynchronous circuits at the logic level and, hence, provides a foundation to formally verify such circuits. To our knowledge, this is the first work on modeling GP due to AQX at the logic level for asynchronous circuits.