收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于蕴涵树的冗余添加和删除技术

龙望宁  边计年  薛宏熙  吴有亮  
【摘要】:可替换线逻辑综合(如RAMBO)是近年来兴起的一种方法,它采用测试向量自动生成(ATPG)方法来实现冗余添加和删除.但是,频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较慢.因此,如何减少ATPG过程的调用次数便成为提高这类算法的速度之关键.该文提出一种逻辑蕴涵树来存储节点间的逻辑蕴涵关系,并设计了一个基于逻辑蕴涵树的可替换线源节点的挑选算法.在此基础上形成一个快速的可替换线逻辑变换算法IBAW.实验结果表明,在为目标线寻找可替换线时,IBAW的速度是RAMBO的3.6倍.

知网文化
【相似文献】
中国期刊全文数据库 前1条
1 龙望宁,边计年,薛宏熙,吴有亮;基于蕴涵树的冗余添加和删除技术[J];计算机学报;2000年04期
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978