Скажите, пожалуйста, существуют ли программные средства
для static timing analysis типа SST Velocity от Mentor, но под Win?

Программа синтеза делает static timing analysis.
Precision от Ментор, но только для FPGA
Леонардо от Ментор.
DCompiler от синопсис
PrimeTime от синопсис отдельая программа для static timing analysis.

Благодарю Вас.
А PrimeTime для Win существует?

существует, и кажется даже на фтп притсутствует