Eliminating false loops caused by sharing in control path. - Alan Su 002; Yu-Chin Hsu; Ta-Yung Liu; Mike Tien-Chien Lee (ACM Trans. Design Autom. Electr. Syst., 1998)