在过去的二十几年中，人们对于数字电路顺序行为的验证进行了深入的研究并提出了许多行之有效的验证方法，例如，模拟的方法和形式化的方法等。

In the past twenty years, people have studied extensively and proposed several effective verification methods for sequential behaviors of digital circuits, such as simulation method and formal method.

youdao

所设计的脉冲导向电路较好地解决顺序与逆序互相之间的过渡问题。

The pulse steering circuit so designed solves fairly well the transition between positive sequence and negative sequence.

youdao

通过改进原有馈电电路并调整开关矩阵与阵列天线的连接顺序，现提出了一套新型的多辐射中心仿真系统的设计方案。

This paper presents a new de- sign for RFSS of multi - radiation centers, which bases on modifying feed circuits and the join order in traditional sys- tem.

youdao