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

Browse the full ASPDAC paper archive.