Citation: St. Huang et al., A POLYNOMIAL-TIME HEURISTIC APPROACH TO SOLVING THE FALSE PATH PROBLEM, IEEE transactions on circuits and systems. 1, Fundamental theory andapplications, 43(5), 1996, pp. 386-396
Citation: St. Huang et al., TIMED BOOLEAN CALCULUS AND ITS APPLICATIONS IN TIMING ANALYSIS, IEEE transactions on computer-aided design of integrated circuits and systems, 13(3), 1994, pp. 318-337