Timing Verification Of Applications Specific Circuits (Asics) by Farzad Nekoogar