一种优化逻辑函数的程序设计与实现  

A Method for the Design and Realization of Simplifying Logical Functions

作　　者：李建红[1] 梁光胜[1] 

机构地区：[1]华北电力大学(北京)信息工程系,北京102206

出　　处：《计算机工程与应用》2006年第13期106-108,共3页Computer Engineering and Applications

摘　　要：论文提出了EDA中易于计算机实现的逻辑函数优化方法,即在优化过程中引入删劣运算,用锐积运算求质蕴涵项,用选择提炼极值法求最小覆盖,并对循环函数进行处理的优化方法。设计了相应的组合逻辑电路逻辑综合优化程序,大量的测试证明了该方法的正确性和易于计算机实现的有效性。In order to easy implement by computer,a method of simplification which fits to simplify muhivariable logical functions is presented in this paper.Namely,lessthan arithmetic,sharp product for obtaining prime implicant,extraction arithmetic for obtaining minimum cover and optimizing circulation functions arithmetic are used in this method.This paper gives combinational logic circuit logic synthesis procedure.The author has proved the effectiveness and correctness of the method by a lot of experiments.

关 键 词：电子系统设计自动化 逻辑函数 选择提炼法 覆盖 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]