Zaslat SMS: FPGA Tool Suite Adds Native Static Timing Analysis