Timing analysis and optimization of sequential circuits - Maheshwari, Naresh, 1970- (Kluwer Academic, 1999)