Title: Timing verification of digital circuits