一种改进的逆向逻辑综合算法

在逆向逻辑综合过程中,为了保证综合结果的准确性,需要将输入全集作为待处理数据集合,大大增加了整个处理过程的时空开销.论文深入分析了现有的逻辑综合基本运算,并结合逆向逻辑综合的数据特点,提出了效能更优的改进广义相容算法,从而较大程度地提高了对部分集进行化简提维的效率.