A High-performance Timing Analysis Tool for VLSI Systems - View it on GitHub