OBDD在组合逻辑电路测试中的应用研究

来源 :计算机辅助设计与图形学学报 | 被引量 : 15次 | 上传用户:cutuf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
传统的组合逻辑电路测试方法在搜索过程中都不可避免地要进行反向回溯 ,由于反向回溯的次数过多 ,往往会降低算法的效率 .文中利用 OBDD来表示电路中每个节点所代表的逻辑函数 ,把传统算法中的反向回溯过程转换为 OBDD图的问题 ,从而加快了故障测试的速度 .同时 ,OBDD在测试矢量集的生成以及必要值的确定中也显示出一定的优越性
其他文献
采用十一点法计算轮廓的近似曲率 ,该算法比普通的三点法具有更强的抗噪性 .提出利用曲率差分图进行特征点识别 ,并根据曲率差分图中轮廓特征点所对应的波形特点 ,一次性将特征点识别为角点与切点 .最后 ,对特征点间的线段类型加以识别 ,并进行连接调整和圆弧的分割与融合 ,从而较精确地实现了平面轮廓的分段及识别 .
流行性腮腺炎是小儿的一种急性常见传染病,而流行性腮腺炎脑炎、脑膜炎(简称腮脑)是流行性腮腺炎常见的并发症。现将我院儿科2001年1月~2005年9月收治的60例腮脑患儿报告如下。