OpenSTA is an EDA gate level static timing verifier. As a stand-alone executable it can be used to verify the timing of a design using standard file formats.