Tatum: A Fast, Flexible Static Timing Analysis (STA) Engine for Digital Circuits - View it on GitHub