论文部分内容阅读
可替换线逻辑综合（如ＰＡＭＢＯ）是近年来兴起的一种方法，它采用测试向量自动生成（ＡＴＰＧ）方法来实现冗余添加和删除．但是，频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较慢．因此，如何减少ＡＴＰＧ过程的调用次数便成为提高这类算法的速度之关键．该文提出一种逻辑蕴涵树来存储节点间的逻辑蕴涵关系，并设计了一个基于逻辑蕴涵树的可替换线源节点的挑选法．在此基础上形成一个快速的可替换线逻辑变换算法ＩＢＡＷ，实验结