scientific article; zbMATH DE number 139968

MaRDI QIDQ4028319zbMATH OpenFDO

Authors Michael Mendler, Terry Stroup

Publication date 28 March 1993

zbMATH Keywords

circuit designclosurecontinuous automatadominancefault testinginput-output behavior of an arbiterlivenessresetsynchronization

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Review text

[For the entire collection see Zbl 0747.00051.] Some assumptions concerning the input-output behavior of an arbiter are formalized: Closure, Liveness, Dominance, Reset and a synchronization property. The authors study the models of these properties in the class of continuous automata. It is shown that any continuous automation satisfying the response properties possesses a class of critical conflicting requests that cause it to violate the mutual exclusive property.

Recommendations

• Newtonian arbiters cannot be proven correct
• scientific article; zbMATH DE number 4035758
• Theories of Newtonian gravity and empirical indistinguishability
• Newton's experimental proofs as eliminative reasoning
• The validity of Newton's lemma 28
• In Defense of Newton: A Physicist's View
• Proving Cleanthes wrong
• Galileo and the equivalence principle: a faulty argument with the correct conclusion
• Newton's argument for Proposition 1 of the \textit{Principia}

Cited in

(2)

• Newtonian arbiters cannot be proven correct
• Flat arbiters

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028319)