Email Record: Timing verification of application-specific integrated circuits (ASICs) /