逻辑函数无冗余覆盖选择问题..pdfVIP

维普资讯 60 2007，43(10) ComputerEngineeringandApplications计算机工程与应用 逻辑函数无冗余覆盖选择问题 张义清 ，管致锦2，吕彦明 ，李 洵 ZHANGYi-qing，GUANZhi-jin2,LVYan-ming，LIXun 1．南通大学 理学院，江苏 南通 226004 2．南京航空航天大学 信息科学与技术学院．南京 210016 1．CollegeofScience，NantongUniversity，Nantong，Jiangsu226004，China 2．CollegeofInformationScienceandTechnology，NanjingUniversityofAeronauticsandAstronautics，Nanjing210016，China E—mail：guan — zj@nuaa．edu．cn ZHANG Yi-qing，GUAN Zhi-jin，LV Yan-ming，eta1．Selection ofirredundant cover for logic function．Computer EngineeringandApplications，2007，43(10)：60-62． Abstract：Minimization algorithms oflogic function involve two main steps：generation ofprime implicate and extraction ofa minimalcoverfrom thoseprimes．ItiSsaid thatthesecond step iS more difficultthan the firstone．and itistrue．We presenta method foreliminating itredundanttermsand selectinganearminimalcoverwith acceptable complexity．Given G，aprime cover offunctionF，first．we divideG into three subsets：essentialprimesE，completeredundanciesR and relativeredundanciesPThen we selecta subset尸 from P such that尸 UE iSa nearminimalcoverofF．Clearly．thelaterstep iS much more complex than thefoiTner．And thisiSwhy the discussion iSmostlyOilit． Key words：cofaetor；column covering；irredundantcover 摘 要：逻辑函数 的最小化算法可以分为两大步骤 ，产生本源蕴涵项和在这些蕴涵项中选择一个最小覆盖 。提 出一个适于大变量 输入输 出逻辑函数 的实质项与相对冗余项的识别和选择近似最小覆盖的算法。Benchmark例题测试表 明，算法具有理想的处理 效 果 关键词 ：余 因子 ；列覆盖 ；无冗余覆盖 文章编号：1002—833l(2007)10—0060—03 文献标识码 ：A 中图分类号：TP30l 1 引言 本文从识别实质本源项和完全冗余项出发，然后从尸中选 逻辑函数 的最佳覆盖问题可以用构造覆盖表 的办法解决。 出一个最小的集合 P ，通过构造一个特殊的矩阵 曰，使 P u 但是 当变量增多时，真值最小项的数 目将急剧增加 ，覆盖表的 仍是 F的一个覆盖 。最后讨论最小列覆盖的选择。 规模也急剧膨胀 ，使得 以最小项为基础的逻辑两数优化算法处 理问题的规模不可能太大。以积项为基础 的优化算法可 以解决 2 实质项与相对冗余项的识别 大输入输卅变量的问题。实际上 ，优化是通过代数演算实现 的。