鈥淩eachability Analyses and Their Applications in Test Generation and Logic Optimization for Sequential Circuits,鈥� 1993.