时序电路的状态验证研究与设计
何新华; 吕昌龄; 宫云战
装甲兵工程学院计算机室 北京 100072
VERIFICATION DESIGNING FOR SYNCHRONOUS CIRCUITS
He Xinhua; Lu Changling; Gong Yunzhan
Armored Force Engineering Institute Beijing 100072
摘要 采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.
关键词 :
二元判定图 ,
节点 ,
压缩 ,
状态变换图
Abstract :It is very effective that use BDD to describe the synchronous circuits. This paper has proposed the reducing way for BDD in order to collapse the number of inputs, routes and states. Based on the features of circuit, several heuristic methods that speed up verification are presented.
Key words :
Binary Decision Diagram(BDD)
Node
Collapsing
Stata Transition Graph(STG)
收稿日期: 1995-03-06
[1]
金艳,高舵,姬红兵. 复杂噪声下基于同步压缩Chirplet变换的LFM信号参数估计 [J]. 电子与信息学报, 2017, 39(8): 1906-1912.
[2]
伊鹏,刘邦舟,王文博,张少军. 一种考虑软件定义网络控制节点故障的控制器部署和交换机迁移方法 [J]. 电子与信息学报, 2017, 39(8): 1972-1978.
[3]
赵志远,孟相如,苏玉泽,李振涛. 基于节点邻近感知与路径综合评估的虚拟网络映射算法 [J]. 电子与信息学报, 2017, 39(8): 1979-1985.
[4]
欧伟枫,杨春玲,戴超. 一种视频压缩感知中两级多假设重构及实现方法 [J]. 电子与信息学报, 2017, 39(7): 1688-1696.
[5]
李冰,涂云晶,陈帅,吉建华. 基于SRAM物理不可克隆函数的高效真随机种子发生器设计 [J]. 电子与信息学报, 2017, 39(6): 1458-1463.
[6]
金杉,金志刚. 基于量子狼群进化的多目标汇聚节点覆盖算法 [J]. 电子与信息学报, 2017, 39(5): 1178-1184.
[7]
王汝言,刘侃岭, 张鸿. 带有负载转移的光无线融合网跨域节点协同休眠机制 [J]. 电子与信息学报, 2017, 39(4): 1012-1016.
[8]
严韬,陈建文,鲍拯. 一种基于压缩感知的天波超视距雷达短时海杂波抑制方法 [J]. 电子与信息学报, 2017, 39(4): 945-952.
[9]
汤红波,袁泉,卢干强,王晓雷,赵宇. 一种支持节点分割的vEPC虚拟网络功能部署模型 [J]. 电子与信息学报, 2017, 39(3): 546-553.
[10]
程银波,司菁菁,候肖兰. 适用于无线传感器网络的层次化分布式压缩感知 [J]. 电子与信息学报, 2017, 39(3): 539-545.
[11]
王学伟, 董晓璇, 袁瑞铭, 周丽霞, 王婧, 王琳. 压缩感知伪随机动态功率信号的电能测量方法 [J]. 电子与信息学报, 2017, 39(3): 640-646.
[12]
林涛,蔡文婷,陈先义,周开伦,王淑慧. 一种高性能低复杂度的基于串匹配的屏幕图像无损压缩算法 [J]. 电子与信息学报, 2017, 39(2): 351-359.
[13]
王爱春,向茂生,汪丙南. 一种联合Khatri-Rao子空间与块稀疏压缩感知的差分SAR层析成像方法 [J]. 电子与信息学报, 2017, 39(1): 95-102.
[14]
张永顺,葛启超,丁姗姗,郭艺夺. 基于稀疏贝叶斯学习的低空测角算法 [J]. 电子与信息学报, 2016, 38(9): 2309-2313.
[15]
王汝言,杨慧娉,应俊,舒娜. 节点状态感知的机会网络分布式协作缓存机制 [J]. 电子与信息学报, 2016, 38(9): 2194-2201.