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. In Fumiyasu Hirose, editor, Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, Yokohama, Japan, January 24-27, 2006. pages 941-946, IEEE, 2006. [doi]
Abstract is missing.