Terms for subject Programming containing verification constraints

English	Russian
independent verification of the timing constraints realised during the synthesis	независимая проверка ограничений синхронизации, осуществляемая во время синтеза (ssn)
verification constraints	ограничения, накладываемые на верификацию (ssn)
verification of the timing constraints	проверка ограничений синхронизации (ssn)
verification of the timing constraints realised during the synthesis	проверка ограничений синхронизации, осуществляемая во время синтеза (ssn)