Browsing: Implementation of a Static Timing Analyser