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

权利要求书

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

（一）实质本源项集合的形成：实质本源项集合标识为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为空；

(2)生成规则：

对C_ON中的某个集合，若该集合的某个子集既不被其它C_ON覆盖，也不被C_DC覆盖，则需对之扩展，以便重塑P^*使之覆盖C_ON中的其它集合；

（三）无冗余覆盖优化过程

（1）无冗余覆盖优化处理方法：

从E、P^*和冗余项集合中选出一个最小的P^*，使得P^*∪E仍是函数的一个覆盖；冗余项集合标识为：R,是Ri的集合；

（2）生成规则：

将本源蕴涵项集合Q分为三个互不相交的子集Q={E,R,P^*}；通过前面所，描述的方法中已经分别形成产生E,R,P^*；求最小列覆盖，选取最小的P^*；

（四）优化结果的形成：

Q=P^*∪E。