进入二十一世纪以后,网络的发展迅猛,而且有延伸到各个领域之势,在全世界的各个角落都能找到它的身影。网络的布局、结构、用户与......

有序二叉判定图(OBDDs)是一种表示布尔函数的高效数据结构,在形式化验证领域内有着广泛应用。它为符号模型检测算法提供实现框架,......

受到胚胎细胞的生长发展、生物体自修复、个体学习、群体遗传进化机制等生物特点的启发,学者们提出了一种模仿生物体的多细胞组织......

研究成品率分析芯片的特点和设计流程,提出适用的LVS万法.该方法结合传统的LVS及形式验证,能够解决成品率分析芯片中违反设计规则......

提出一种改进的OBDD(ordered binary decision diagram)方法来计算通信网可靠度。该方法考虑了网络共因失效带来的部件故障,使得计......

随着程序或电路规模的增大,状态数目将呈指数增加而引起组合爆炸.符号模型检验是形式化方法的一个重要方面,可以处理大规模的数据......

符号模型检验把有序二叉判定图OBDD技术引入到模型检验中,有效地缓解了状态组合爆炸问题.文章主要介绍了CTL模型检验基本概念和原......

依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证......

研究成品率分析芯片的特点和设计流程,提出适用的LVS方法。该方法结合传统的LVS及形式验证,能够解决成品率分析芯片中违反设计规则......

在经济生活日益依赖于通信网的今天,网络故障不仅会带来巨大的数据损失,甚至会导致灾难性后果。利用网络可靠性分析,工程人员可以......