IEEE Std 1800-2012:
SDF files contain timing values for specify path delays, specparam values, timing check constraints, and interconnect delays.
OpenSTA is an open-source STA tool by Parallax (hence a.k.a. Parallax STA/Static Timing Analyzer). User Manual is part of the repository.
NewerOlder