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