语言可以方便地描述系统操作的数据转换，却很难描述系统操作间的时序关系。
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.
应用推荐