Основная задача таймквеста - это не проверять, выполнились ли констрейны, а сделать так, чтобы результат синтеза и размещения удовлетворил констрейнам. После изобретения таймквеста про классический нужно вообще забыть как про все страшные сны.
А что такое констрейн - это любое ограничение на параметры устройства. Например максимальная частота клока, максимальное время прохождения оттуда-то туда-то, стратегия оптимизации площадь/скорость, и т.д., и т.п. В случае таймквеста все констрейны задаются в стандартном общепринятом формате SDC в файле с таким же расширением.