Proof of the equivalent realizability of a time-bounded arbiter and a runt-free inertial delay
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
IEEE Transactions on Computers
Self-Synchronizing Circuits and Nonfundamental Mode Operation
IEEE Transactions on Computers
A Note on Synchronizer or Interlock Maloperation
IEEE Transactions on Computers
The Anomalous Behavior of Flip-Flops in Synchronizer Circuits
IEEE Transactions on Computers
Anomalous Behavior of Synchronizer and Arbiter Circuits
IEEE Transactions on Computers
Theoretical and Experimental Behavior of Synchronizers Operating in the Metastable Region
IEEE Transactions on Computers
IEEE Transactions on Computers
Comments on "A Note on Synchronizer or Interlock Maloperation"
IEEE Transactions on Computers
The Effect of Asynchronous Inputs on Sequential Network Reliability
IEEE Transactions on Computers
Asynchronous Sequential Switching Circuits with Unrestricted Input Changes
IEEE Transactions on Computers
A New J-K Flip-Flop for Synchronizers
IEEE Transactions on Computers
Anomalous Response Times of Input Synchronizers
IEEE Transactions on Computers
Fault-tolerant algorithms for tick-generation in asynchronous logic: robust pulse generation
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Ternary simulation: refinement of binary functions or abstraction of real-time behaviour?
DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits
Constructive Boolean circuits and the exactness of timed ternary simulation
Formal Methods in System Design
Automating Synthesis of Asynchronous Communication Mechanisms
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Journal of Computer and System Sciences
Hi-index | 14.98 |
Metastable operation is a fundamental phenomenon of sequential networks that process asynchronous inputs. Nevertheless, because of its subtle nature and the relatively low probability of its occurrence in conventional systems, this phenomenon is neither well understood nor widely appreciated. With continuing advances in digital technology however, there is a growing interest in large-scale highly parallel systems. Such systems are likely to involve numerous high-frequency asynchronous interactions, which may result in frequent failures due to metastable operation unless the designers take specific measures to prevent such failures. In recent years, a number of researchers have been working with some success to develop techniques for dealing with this failure mode. The purpose of this paper is to present a comprehensive theory of metastable operation that may lead to a better understanding of this phenomenon and provide theoretical support for further work in this area.