同步电路是有时钟的，在它的时钟的每个时间标记（tick）上，它瞬时从它的输入值，和它的记忆单元（锁存器）的当前值，计算出它的输出值，和它的记忆单元的新的值。换句话说，电路表现的如同电子流动得无限的快速。第一批同步式编程语言在1980年代于法国发明：、Lustre和。此后又出现了很多其他的同步式语言。
同步与异步比较.同步抽象使得关于时间的推理比在式程序中更加容易，得益于逻辑“时间标记”的概念：同步式程序在一序列的时间标记中对它的环境进行响应，而在一个时间标记之内的计算被假定为瞬时的