timing verification

Верифікація синхронізації

верифікація часових співвідношень (у логічній схемі)

верифікація часових діаграм