Improving the efficiency of static timing analysis with false paths. - Shuo Zhou; Bo Yao 004; Hongyu Chen 001; Yi Zhu 002; Chung-Kuan Cheng; Michael D. Hutton; Truman Collins; Sridhar Srinivasan; Nan-Chi Chou; Peter Suaris (ICCAD, 2005)

Efficient Timing Analysis With Known False Paths Using Biclique Covering. - Shuo Zhou; Bo Yao 004; Hongyu Chen 001; Yi Zhu 002; Michael D. Hutton; Truman Collins; Sridhar Srinivasan; Nan-Chi Chou; Peter Suaris; Chung-Kuan Cheng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)