语言可以方便地描述系统操作的数据转换，却很难描述系统操作间的时序关系。
Using Z language it is convenient to describe the data transform of operations of system, but very difficult to describe the temporal relations of operations of system.
提出一种基于状态转换图的时序电路等价验证算法。
A sequential equivalence checking algorithm based on state transfer graph is presented.
本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.
该方法之关键在于直接从时序电路的状态转换图（STD）获得J-K、D和T触发器的激励方程式。
The crux of this method is that excitation equations for J K, D and T flip flops are obtained directly from the state transition diagrams(STDs).
此接口使用扫描成员的技术来将组件的集合转换为支持运行时序列化的单个对象。
This interface USES the technique of scanning members to convert a collection of components into a single object that supports run-time serialization.
在VITA25K型传感器还具有一个10的数字输出，易于应用开发的片上时序控制位片上模拟到数字转换器（ADC）。
The VITA 25K sensor also features a 10-bit on-chip analog-to-digital converter (ADC) for digital output and on-chip timing control for easy application development.
在介绍主电路拓扑基础上，分析了电路的控制时序及工作模式转换，并通过仿真验证了控制时序的正确性和电路的软开关性能。
On the basis of introducing the main circuit topology, the control sequence and mode transition of the circuit were analyzed and validated by means of simulation.
在介绍主电路拓扑基础上，分析了电路的控制时序及工作模式转换，并通过仿真验证了控制时序的正确性和电路的软开关性能。
On the basis of introducing the main circuit topology, the control sequence and mode transition of the circuit were analyzed and validated by means of simulation.
应用推荐