《计算机学报》文章摘要   全文下载
文章题目	基于蕴涵树的冗余添加和删除技术
作者	龙望宁1) 吴有亮2) 边计年1) 薛宏熙１)
作者单位	1)(清华大学计算机科学与技术系 北京 100084) 2)(香港中文大学计算机科学与工程系 香港)
发表年份	2000
发表月份	4期　（页码：356—362)
文章摘要	可替换线逻辑综合(如RAMBO)是近年来兴起的一种方法，它采用测试向量自动生成(ATPG) 方法来实现冗余添加和删除.但是，频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较. 因此，如何减少ATPG过程的调用次数便成为提高这类算法的速度之关键.该文提出一种逻 辑蕴涵树来存储节点间的逻辑蕴涵关系，并设计了一个基于逻辑蕴涵树的可替换线源节点的挑选算法.在此基础上形成一个快速的可替换线逻辑变换算法IBAW.实验结果表明，在为目标线寻找可替换线时，IBAW的速度是RAMBO的3.6倍. 关键词 逻辑综合，冗余添加和删除技术，可替换线逻辑变换 中图法分类号：TP302