[发明专利]一种二值逻辑函数快速优化处理方法

说明书

技术领域

本发明涉及一种二值逻辑函数快速优化处理方法。

背景技术

逻辑优化是数字电路自动设计的基础，数字电路计算机辅助设计(Computer Aided Design，CAD)系统的发展对计算机科学的诸多领域都有深远的影响，对高速度、高集成度、高复杂度和高可靠性电路的需求越来越迫切。在国际上，逻辑优化的问题是计算机科学及相关领域的研究热点。逻辑优化是集成电路逻辑综合的关键技术，求基于某一优化目标的最优逻辑优化的问题已被证明是NP难题。目前有多种方法可以实现逻辑函数优化，一般采用寻求近似优化的方法。集成电路逻辑优化的关键技术是:①使逻辑优化结果中不同“与”项（AND）表达式总数最少，即减少“与”门个数；②减少“与”项表达式中所含变量的总数，即使“与”门电路输入端个数最少；③寻求逻辑优化的形式化表示方法。

发明内容

本发明的目的在于提供一种简便、效果好的二值逻辑函数快速优化处理方法。

本发明的技术解决方案是：

一种二值逻辑函数快速优化处理方法，其特征是：包括下列步骤：

（一）实质本源项集合的形成：实质本源项集合标识为E；

（1）实质本源项的生成步骤如下：

对本源蕴涵项进行扩展，计算出相邻相交集，本源蕴涵项标识为Q_i，相邻相交集标识为：AIC（Q_i）；若则Q_i为冗余项，将之从导通集中删除；否则将Q_i送至无关集及E中，同时从C_DC中删除Q_i所蕴涵的项，冗余项标识为：Ri，导通集标识为：C_ON，无关集标识为：C_DC；

（2）AIC(Q_i)的计算方法：

AIC(Q_i)应同时满足3个条件：(a)与Q_i互为相邻项且(b)在C_DC中与Q_i相交；(c)在C_ON中与Q_i相交但不包含Q_i;

(3)生成规则：

(a)若C_ON中的某一项蕴涵于Q_i展开后的集合，则从C_ON中将该项删除；

(b)若满足条件：则Q_i为实质本源项，将Q_i送至E及C_DC中，同时从C_ON中将之删除；

（二）相对实质蕴涵项集合的形成：相对实质蕴涵项集合标识为：P^*；

（1）相对实质蕴涵项的生成步骤描述如下：相对实质蕴涵项标识为：P_i^*；

（a）找出与C_DC相交的集合送至C_ON；（b）重塑集合——将冗余项从C_ON中删除，以减小C_ON覆盖的规模；（c）若C_ON中的所有项都不与C_DC相交或者C_DC为空时，则选择最小的相邻度的最大集合，将之送至C_DC及P^*中，同时将之从C_ON中删除,最小的相邻度标识为：DA；若C_ON中的最大的DA相同，则选择与C_ON中的其它集合非空相交的那个集合，将之送至C_DC及P^*中，同时将之从C_ON中删除；（d）对C_ON中的每个P_i^*，若（C_ON∪C_DC#P_i^*）包含的集合不多于一个则应重塑；对P_i^*扩展进行重塑后，将之移入C_DC及P^*中，同时将之从C_ON中删除；否则，若（C_ON∪C_DC#P_i^*）包含的集合不止一个，则选择最大的DA的集合送至C_DC及P^*中，同时将之从C_ON中删除；执行完后转至（c），直至C_ON为空；