On the basis of reachability analysis, we further study how to verify temporal property in sequential circuits.
3.在可达性分析的基础上,进一步验证时序电路的时态逻辑属性。
参考来源 - 基于SystemC的时态逻辑属性验证方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
对堵河流域水环境保护功能区的合理划分及功能可达性分析进行了探讨。
The paper presents discussions on the rational division of the water environment protection functional zones in Du River basin as well as analysis of the achievability of the functions.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。
In his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
应用推荐