Timing verification of application-specific integrated circuits (ASICs) - Nekoogar, Farzad (Prentice Hall PTR, 1999)