积分商城

最新搜索： PL2303 altium Designer 20 电路设计与仿真从入门到精通 auto cad 常用LOGO标识 microBUCK TMC5160
您现在的位置是：首页 > 技术资料 > 一种基于SAT求解器的组合电路重汇聚现象分析方法
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

一种基于SAT求解器的组合电路重汇聚现象分析方法

更新时间：2020-10-27 02:08:52 大小：1M 上传用户：zhengdai查看TA发布的资源 标签：SAT求解器 下载积分：2分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

为了研究组合电路重汇聚现象,提出了一种基于SAT求解器的分析方法.通过深度优先搜索算法,确定瞬态脉冲产生节点和输出节点之间的所有路径;建立待检查列表,对表中的元素施加敏化约束条件,并采用SAT求解器求解元素可满足性;最后判断是否存在满足条件的输入向量,使瞬态脉冲通过不同路径在输出节点发生重汇聚.所提方法可以有效地对较大规模组合电路进行分析,采用EPFL和ISCAS’85作为测试集,实验结果表明,ISCAS’85测试集中约有一半节点处产生的瞬态脉冲能够发生重汇聚,这一比例明显高于EPFL测试集,因此不同类型功能电路重汇聚现象的发生率存在较大差异.

In order to study reconvergence phenomena of combinational circuits,this paper proposed an analysis method based on SAT solver.All paths between transient pulses generation nodes and output nodes are confirmed by depth-first search algorithm.Elements in the check-list are imposed with sensitization constraints,and elements satisfaction is judged by Minisat.Finally,whether there are input vectors satisfying the conditions so that the transient pulse reconverge at the output node through different paths or not are determined.The proposed method can analyze reconvergence phenomena of large-scale combinational circuits effectively.EPFL and ISCAS’85 were used as test sets.The experimental results show that transient pulses generated by certain nodes,which are about half of the total nodes of the ISCAS’85 test set,can reconverge finally.The ratio is significantly higher than that of the EPFL test set.Therefore,there is a significant difference of the occurrence rate of reconvergence for different types of functional circuits.

部分文件列表

文件名 大小
一种基于SAT求解器的组合电路重汇聚现象分析方法.pdf 1M

【关注视频号领20积分】   【关注公众号立即送20积分】

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

热门下载

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号