Convergence-provable statistical timing analysis with level-sensitive latches and feedback loops.

Lizheng Zhang Jeng-Liang Tsai Weijen Chen Yuhen Hu Charlie Chung-Ping Chen Convergence-provable statistical timing analysis with level-sensitive latches and feedback loops. 941-946 2006 conf/aspdac/2006 ASP-DAC http://doi.acm.org/10.1145/1118299.1118511 db/conf/aspdac/aspdac2006.html#ZhangTCHC06