Answers are grounded in this paper and cite their sources.
In this note we discuss a few attributes and pitfalls of three-valued (0, 1, u) digital logic simulation. The areas covered include hazard and race detection, fault detection, verifying the reset logic of a machine, and the problems encountered with self-timing circuits and in employing a complement for u.
No takes yet. Share an insight, caveat, or question.
Melvin A. Breuer (1972) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: