Terms for subject Programming containing synchronous clock

English	Russian
asynchronous input which operate independently of the synchronous inputs and clock input	асинхронный вход, работающий независимо от тактового сигнала и синхронных входов (ssn)
synchronous clock switch	синхронный тактовый переключатель (ssn)
this type of model is appropriate for synchronous systems, where all of the components are synchronized by a single global clock	Такие модели пригодны для синхронных систем, в которых все компоненты синхронизованы едиными глобальными часами (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)