面向多输出电路的BDD拼接构造
何新华① ; 宫云战① ; 魏道政②
① 装甲兵工程学院计算机室 北京100072;② 中国科学院计算所CAD室 北京 100080
MULTIPLE OUTPUT CIRCUIT-BASED BDD ANALYSIS AND DESIGN
He Xinhua① ; Gong Yunzhan① ;Wei Daozheng②
① Armored Force Engineering Institute,Beijing 100072;② ICT, Academica Sinica,Beijing 100080
摘要 二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程中,提出通过可观值的定义获得有效路径的方法。实验证明,作者提出的方法简单、直观而且有效。
关键词 :
标准门 ,
BDD ,
节点 ,
共享 ,
变量排序
Abstract :Effective description for Binary Decision Diagram(BDD) has proven useful in many applications as data structure for Boolean function. Based on the BDD of standard gate, recursive appending from primary input to output for BDD construction is proposed. Several benchmark circuits is shown to verify this method.
Key words :
Binary dicision diagram
Vertex
Share
Variable ordering
收稿日期: 1995-03-06
[1]
伊鹏,刘邦舟,王文博,张少军. 一种考虑软件定义网络控制节点故障的控制器部署和交换机迁移方法 [J]. 电子与信息学报, 2017, 39(8): 1972-1978.
[2]
赵志远,孟相如,苏玉泽,李振涛. 基于节点邻近感知与路径综合评估的虚拟网络映射算法 [J]. 电子与信息学报, 2017, 39(8): 1979-1985.
[3]
乔雪,彭晨,段贺,张钰尧. 基于共享特征相对属性的零样本图像分类 [J]. 电子与信息学报, 2017, 39(7): 1563-1570.
[4]
李冰,涂云晶,陈帅,吉建华. 基于SRAM物理不可克隆函数的高效真随机种子发生器设计 [J]. 电子与信息学报, 2017, 39(6): 1458-1463.
[5]
金杉,金志刚. 基于量子狼群进化的多目标汇聚节点覆盖算法 [J]. 电子与信息学报, 2017, 39(5): 1178-1184.
[6]
王汝言,刘侃岭, 张鸿. 带有负载转移的光无线融合网跨域节点协同休眠机制 [J]. 电子与信息学报, 2017, 39(4): 1012-1016.
[7]
汤红波,袁泉,卢干强,王晓雷,赵宇. 一种支持节点分割的vEPC虚拟网络功能部署模型 [J]. 电子与信息学报, 2017, 39(3): 546-553.
[8]
徐林林,朱晓荣. 多运营商频谱共享模型和租赁策略 [J]. 电子与信息学报, 2017, 39(3): 582-589.
[9]
石长安,刘一民,王希勤,于鹏. 基于帕累托最优的雷达-通信共享孔径研究 [J]. 电子与信息学报, 2016, 38(9): 2351-2357.
[10]
徐甫. 基于多项式秘密共享的前摄性门限RSA签名方案 [J]. 电子与信息学报, 2016, 38(9): 2280-2286.
[11]
王汝言,杨慧娉,应俊,舒娜. 节点状态感知的机会网络分布式协作缓存机制 [J]. 电子与信息学报, 2016, 38(9): 2194-2201.
[12]
李龙军,王布宏,夏春和. 基于改进迭代FFT算法的均匀线阵交错稀疏布阵方法 [J]. 电子与信息学报, 2016, 38(4): 970-977.
[13]
陶雄飞,王跃东,柳盼. 基于变量节点更新的LDPC码加权比特翻转译码算法 [J]. 电子与信息学报, 2016, 38(3): 688-693.
[14]
刘焕淋,岁蒙,徐一帆,陈勇,张盛峰. 基于距离自适应和有效共享路径感知的光疏导方法 [J]. 电子与信息学报, 2015, 37(8): 1964-1970.
[15]
黄太奇,易本顺,姚渭箐,方华猛,李卫中. 基于规则变量节点度和扩展窗喷泉码的不等差错保护算法 [J]. 电子与信息学报, 2015, 37(8): 1931-1936.