On the basis of reachability analysis, we further study how to verify temporal property in sequential circuits.
3.在可达性分析的基础上,进一步验证时序电路的时态逻辑属性。
参考来源 - 基于SystemC的时态逻辑属性验证方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
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.
本文介绍了时间自动机和可达性分析算法,并对可达性分析算法中的后继算法进行了改进。
This paper presents a reachability model of VSR&DO based on network, and proposes a model to estimate the reachability of VSR&DO, which based on the analysis of the process of VSR&DO model.
本文以建立面向网络的虚拟软件研发组织过程建模为目标,在分析虚拟软件研发组织运作过程特性的基础上,提出了一种虚拟软件研发组织过程模型,并对其软件研发项目的可达性进行了研究。
应用推荐