Marco Hurtado and David Elliott
Washington University, St. Louis
First presented at Allerton Conference, October 1-4, 1975
The standard specifications of logic bistable devices do not specify the behavior under conditions in which the input is logically undefined or in which certain kinds of multiple input changes occur. These conditions are unavoidable in logic synchronizers and arbiters. A general deterministic model of bistable devices is proposed, consisting of a non-linear differential system with some adequate properties. Analysis of this model shows that bistable devices can be driven into a logically undefined region by certain admissible inputs and can remain in this region for an unbound length of time.