// Тактовый генератор платы: 50 МГц -> период 20 нс.
// Без этого статический анализ не проверяет ни одного пути и выдаёт TA1132.
create_clock -name clk -period 20 -waveform {0 10} [get_ports {clk}]