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

• 作者: 吴有亮 薛宏熙 边计年 龙望宁
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 逻辑综合 冗余添加和删除技术 可替换线逻辑变换
• 年，卷（期）: 2000,（4）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 356-362
• 页数: 7页
• 分类号: TP302
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2000.04.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	边计年	清华大学计算机科学与技术系	50	326	9.0	16.0
2	龙望宁	清华大学计算机科学与技术系	4	24	3.0	4.0
3	吴有亮	香港中文大学计算机科学与工程系	4	9	2.0	3.0
4	薛宏熙	清华大学计算机科学与技术系	15	93	6.0	9.0