another work is emphasizing on a formal verification algorithm for consistence of the sequence diagrams and the statecharts and connectivity of the sequence diagrams messages 此外,在本文中,还提出了用于顺序图与状态图的一致性、顺序图消息的连通性的形式化验证的算法。
based on this, we proposed a nc program verification algorithm named z & n . this algorithm can work well for high precise parts without needing finer subdivision 在此基础上,提出了一种局部再细分精确求解的编程精度验证算法(z&n方法),该方法不需增加细分密度,验证精度就可以有较大的提高。
the nc verification algorithm named z & n method and named n & n method is presented, z & n method is involved in verification efficiency and n & n method lays a particular stress on verification effect . 3 在精度验证方面,提出了扩展z&n精度验证算法和法向n&n精度验证算法,分别提高了验证效率和改善了验证效果。
with the rapid increase in the concurrent systems " scales, a challenging issue facing model-checking researchers is how to handle the huge state spaces . thus it becomes increasingly important to develop suitable computation models and to design efficient verification algorithms 随着并发系统规模的日益增大,对这类系统的模型检测面临着如何处理大规模状态空间问题的挑战,因此需要为实际的大规模并发系统精心选择计算模型,同时设计时空效率较高的算法。
moreover, soc design process involves many theories and applications such as signal and system, integrated electronics, layout, semiconductor technology, verification algorithms, etc . hence, in order to master the soc frame and analysis method, standardize the design flow, and obtain the scheme for micro-controller based soc plan, it is necessary to study the soc design approach based on dw8051 ip core 此外,soc的设计过程涉及到信号与系统、集成电子学、版图、半导体工艺和测试验证等多种理论及应用知识,难度和工作量比较大。因此,有必要对集成电路中通用微控制器核(如dw8051核)的soc设计方法进行较深入的研究,掌握其基本设计思路和分析方法,完善设计流程,为基于其他类型微控制器核的soc应用设计提供参考和借鉴。