Abstract:In digital circuits, metastability can cause deteriorated signals that neither are logical 0 or logical 1, breaking the abstraction of Boolean logic. Unfortunately, any way of reading a signal from an unsynchronized clock domain or performing an analog-to-digital conversion incurs the risk of a metastable upset; no digital circuit can deterministically avoid, resolve, or detect metastability (Marino, 1981). Synchronizers, the only traditional countermeasure, exponentially decrease the odds of maintained metastability over time. Trading synchronization delay for an increased probability to resolve metastability to logical 0 or 1, they do not guarantee success. We propose a fundamentally different approach: It is possible to contain metastability by fine-grained logical masking so that it cannot infect the entire circuit. This technique guarantees a limited degree of metastability in---and uncertainty about---the output. At the heart of our approach lies a time- and value-discrete model for metastability in synchronous clocked digital circuits. Metastability is propagated in a worst-case fashion, allowing to derive deterministic guarantees, without and unlike synchronizers. The proposed model permits positive results and passes the test of reproducing Marino's impossibility results. We fully classify which functions can be computed by circuits with standard registers. Regarding masking registers, we show that they become computationally strictly more powerful with each clock cycle, resulting in a non-trivial hierarchy of computable functions.

Research on metastability based on FPGA

MPAM: Reliable, Low-Latency, Near-Threshold-Voltage Multi-Voltage/Frequency-Domain Network-on-Chip with Metastability Risk Prediction and Mitigation

A Metastability Risk Prediction and Mitigation Technique for Clock-Domain Crossing with Single-Stage Synchronizer in Near-Threshold-Voltage Multivoltage/ Frequency-Domain Network-on-Chip

Design and FPGA Verification of a Novel Reliable Real-Time Data Transfer System

Research on low power technology based on Multi Bit Flip Flop

Technique for Asynchronous Clocks in Video Signal Processing SoC

Solution of Multi-Asynchronous Clock Design

Metastability-Containing Circuits

A Metastability Inference and Avoidance Technique for Near-Threshold-Voltage Network-on-Chip.

A Random Delay Injection Based Clock Domain Crossing Verification Method

The Simulation of Synchronizer Based on Missile

The Research of FPGA Reliability Based on Redundancy Methods

A Metastability-Immune Error-Resilient Flip-Flop for Near-Threshold Variation-Tolerant Designs

Study of Delay Instabilities in Xilinx FPGA-embedded Multi-Gigabit Transceivers for Clock Distribution and Synchronization

Exploration of FPGA-based Electromagnetic Transient Real-Time Simulation System Design Using High-Level Synthesis

Efficient Metastability Characterization for Schmitt-Triggers

FPGA-Based Real-Time Emulation for High-Speed Double-Precision Small Time-Step Electromagnetic Transient System

FPGA Based Real-Time Simulation of High Frequency Soft-Switching Circuit Using Time-Domain Analysis

The Implementation of IEEE 1588 Clock Synchronization Protocol Based on FPGA.

FPGA Design and Implementation for Real-Time Electromagnetic Transient Simulation System

Real-Time Simulation of Power System Electromagnetic Transients on FPGA Using Adaptive Mixed-Precision Calculations