Hazard detection by a quinary simulation of logic devices with bounded propagation delays

Abstract

Effective logic simulation programs must consider device propagation delays to be bounded values. This requires that the logic devices be simulated by models which use a multi-valued logical algebra.