二叉判定图相关论文
迁移关系的构建是基于BDD模型检验中一个重要环节,而建立一个占内存尽可能小的关系一直是一个挑战,通常的做法是对迁移关系进行分......
前像计算是无界模型检验中的一个基本问题.本文提出了一种新的基于二叉判定图(BDD)启发策略的门级电路前像计算方法.这种方法发崛......
由于时序电路的复杂性,时序电路的等价性验证一直是一个难题.本文首先介绍了用BDD进行隐式的状态遍历来验证时序电路;然后着重阐述......
本文对BDD的构造算法进行了分析和改进,给出了BDD包中构造BDD的算法,并分析了该算法存在的问题及相应的改进技术,提出了自己的改......
本文在Friedman等人提出的一种寻找最优变量序的算法的基础上将广泛应用于人工智能的A*搜索算法引入到最优变量排序方法中,提出了一......
二叉判定图这种数据结构主要用来表示逻辑表达式,而现在人们已经研制了一些表示方法:比如二叉判定树、真值表、卡诺图等等,但是对......
本文提出了一种形式表示带时间参数布尔函数(TimedBooleanFunction或TBF)的新方法──带时间参数的二叉判定图(TimedBinaryDecisionDiagram或TBDD),并将其应用于电路时间延迟的准确计算.TBDD是传统布......
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用 ,同时对布尔函数在计算机内的表示二叉判定图 (BDD)进行了进一......
二叉判定图(BDD)是描述布尔函数或组合逻辑电路的一种数据结构,广泛应用于形式验证领域,包括组合逻辑电路、时序逻辑电路,以及等价性......
Java Beans是一种组件标准.该文定义了JBDL(Java Beans description language)语言,用于描述组件语义约束规范.为了检测Java Beans......
提出了一种新的动态启发式二叉判定图(BDD)最小化算法,该算法将遗传算法的全局搜索能力和禁忌搜索的邻域搜索策略相结合来寻找BDD......
二叉判定图是一种基于图表的用来表示布尔函数的数据结构。它泛广地应用于计算机半辅助设计和数字电路的形式化验证中。本文主要研......
二叉判定图BDD作为一种表示和操作布尔函数的数据结构,被广泛地应用在模型检测、系统验证等领域.在最坏情况下,BDD的空间规模是指数级......
本文分析了基于BDD的组合电路等价性检验;讨论了构造输出函数的二叉判定图BDD的不同方法,并分析了BDD间布尔操作的不同的算法的异同;......
本文给出一种用二叉判定图对集成块进行功能性故障模拟的方法及算法,该算法的复杂性为O(N),其中N为集成块的输入端数.......
对布尔函数的有铲操作是计算机辅助设计的重要组成部分,二叉判定图是对布尔函数的一种有效表示,为了表示带时间参数布尔函数,在BDD的基础......
文章在分析形式化验证/综合系统VIS的基础上,改进了该电子系统中的关键技术--二叉判定图(BDD),使BDD能表示电路的定时性质,这样就为VIS系统......
二叉判定图广泛应用于形式验证,但相关算法存在节点规模过大的问题。提出了一种基于灾变遗传算法的二叉判定图最小化算法,它能在不......
提出了一种采用二叉判定图来表示规则集的新的算法。通过仿真实验证明:对于较大规模的规则集,基于BDD的包过滤规则设计方法简沽可行,......
在计算树逻辑(CTL)中引入过去时态算子,得到了表达力更强的属性规约语言CTLP,给出了CTLP的模型检测算法及其固定点刻画。该算法的复杂......
时延网络是一种针对网络系统节点故障导致时间延迟的网络,由于研究该型网络要以网络系统任务完成时间是否及时为研究目标,使其任务可......
本文在分析形式化验证 /综合系统VIS的基础上 ,改进了此系统中的关键技术———二叉判定图 (BDD) ,使BDD能表示电路的定时性质 ,这......
分析了一种基于二叉判定图算法的MCML标准单元的设计方法。仿真分析采用SMIC0.18CMOS标准工艺对电路进行晶体管级仿真。......
分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及......
对近年来二叉判定图 (BDD)最优化算法的成果和发展趋势进行了综述和讨论 ,重点介绍精确排序算法和动态启发式排序算法 .给出了BDD......
集成电路规模的快速增长使得验证的难度越来越大,传统的模拟和仿真不但需要花费大量的时间,而且不能保证完全的验证覆盖率,已经不能满......
设计大规模的复杂的数字系统中关键问题之一是如何检查设计的正确性。但是,传统的验证技术例如模拟、仿真和测试,只能针对某些典型......
近些年来模型检测已经成为验证硬件设计正确性一种实用的方法,它能克服传统方法(比如仿真和测试)的一些固有的缺陷,因为穷尽的测试......