Efficient static timing analysis using a unified framework for false paths and multi-cycle paths.

Shuo Zhou Bo Yao Hongyu Chen Yi Zhu Chung-Kuan Cheng Michael Hutton Efficient static timing analysis using a unified framework for false paths and multi-cycle paths. 73-78 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118317 db/conf/aspdac/aspdac2006.html#ZhouYCZCH06