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