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