Improving Computer Scalability & Reliability to Enable Continued Technology Advancement

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.