Timing analysis and optimization of sequential circuits - Maheshwari, Naresh; Sapatnekar, Sachin S. (Kluwer, 1999)