Algorithms for enumerating static and dynamic hazard-free multi-valued functions

Static and dynamic hazard-free multi-valued functions are of interest for synthesizing VLSI circuits. The number of m(m^h) of m-valued functions of k variables, where m>2, far exceeds the number of switching functions, 2(2^h). However, many of these multi-valued functions have characteristics which prevent them from being implemented in a hazard-free form. We present a criterion to determine whether a function can be implemented in a form free of static and dynamic hazards; then we use this criterion to develop algorithms to enumerate the multi-valued functions having realizations which do not cause hazardous operation